FA->RG - kolize symbolů
Pokud má automat stejně pojmenovaný stav jako jeden ze symbolů abecedy, nastane kolize.
Nelze se spoléhat na názvy stavů -> je potřeba vytvářet neterminály přes Grammar::createUniqueNonTerminalSymbol
a namapovat si ho na stav automatu.