As regras de construção de um são: 1- Toda linha começa com $. 2- Sem operadores ela é destacada em amarelo.
3- O operador '@' inverte o sinal, ex: na segunda linha 'a' aumenta 'b' e 'b' diminui 'a'. 4- A linha com o '&' gera um caminho.
5- A linha com '|' faz a variável incial ir para todas as outras variáveis da linha. 6- E o '||' faz o inverso.
Para testar a consistência deste modelo clique em .
Modelos especialistas

























a
Há 1 caminhos da origem: a para 1 destino(s):
1- d

$a
$a & b & @c & d

Acesse o site http://www.webgraphviz.com/, cole o texto abixo e gere o grafo.
digraph G {compound = True; ranksep = 0.3;node [fillcolor = yellow, color=blue, fontcolor = red, style=filled, shape = box, fontsize =16];"a"node [fillcolor = yellow, color=red, fontcolor = black, style=filled, shape = box, fontsize =16];"a"node [fillcolor = white, color=black, fontcolor = black, style=filled, shape = ellipse, fontsize =14]"a" -> "b""b" -> "c"[arrowhead=teetee]"c" -> "d"};