fast
of the Working Session Menu. The module simulates the push down automaton computation
on the word loaded on the input tape. In the case The word is accepted users will see the message:
In case user wants to see the acceptance path the following window will appear:
Using this window, if the PDA is nondeterministic, only the first recognition path is visualized.