Automat, der nur Wörter ohne drei aufeinanderfolgende b akzeptiert

digraph g {

rankdir=LR

node [shape=circle]

S0 [shape=doublecircle ]

S1 [shape=doublecircle ]

S2 [shape=doublecircle ]

S0 -> S1 [ label=b ]

S0 -> S0 [ label=a ]

S1 -> S0 [ label=a weight=.01 ]

S1 -> S2 [ label=b ]

S2 -> S0 [ label=a weight=.01 ]

S2 -> f [ label=b ]

f -> f [ label="a,b" ]

}

Done