/PDA_word_acceptance

Python project that determines if a word is accepted by a PDA

Primary LanguagePython

PDA word acceptance

Input form:

  1. Number of states
  2. Labels for the states separated by space.
  3. Initial state label.
  4. Number of final states.
  5. Number of transitions.
  6. The ... transitions like: state-start end-state letter pop push
  7. The word to be verified.

$ = lambda or epsilon - means no letter or states to pop/push.