I'm currently seeing if a PDA is in an accept state give an input string. After reading the entire input tape, I am currently in the accept state. However, in the stack, there are two items in it.

So my question is: Does the PDA have to have both an empty stack AND be in the accept state in order to be accepted?

  • 1
    $\begingroup$ Different authors have slightly different versions of what should trigger acceptance. Your first task is to find the version your class/text/instructor uses. Your second task is to read the definition carefully. Having done that, you should be able to answer your own question. BTW, welcome to the site! $\endgroup$ – Rick Decker Dec 15 '19 at 0:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.