Epsilon přechody v PDA
copy-paste z mailu
Jak se chová PDA v následující situaci?
Řekněmě, že jsem přečetl poslední symbol vstupu, ale nejsem v koncovém stavu. Do něj se mohu dostat přes epsilon přechod. Použiju ho. Teď chápu, že bych měl vypsat occurence. Ale co když se dalším epsilon přechodem mohu dostat do jiného stavu, taky koncového? V kterém z nich mám běh zastavit?
A co kdyby mě ten následující epsilon přechod dostal do stavu, který by nebyl koncový? Pak jsem vlastně našel jeden výskyt, ale skončil v nekoncovém stavu.
Edited by Tomáš Pecka