Vykreslovanie podla skutocnych stavov automatu

Doteraz sme predpokladali, ze automat ma stavy 1,2,...,n,
teraz to mozu byt lubovolne retazce.