zmazanie zbytocnej premennej alphabet z Automaton - pouziva sa uz variables.alphabet