a mas to uz aj v Shefferovej forme tie funkcie? ze vlastne len staci to nakreslit z nich uz? ze mas aj funkciu pre vstupy do automatu a aj funkcie, pre vystupy? bo mozno by sa daco dalo, aj ked samotny automat T zasa velmo nepoznam a pravdepodobne ho treba niecim nahradzat kedze sa nepredava taka suciastka