next up previous
Next: Language Accepted Up: PDA Previous:

Instantaneous Description

Configuration of PDA at any instant.

displaymath433

q : state
w : unread input string
tex2html_wrap_inline429 : stack content

tex2html_wrap_inline431
if tex2html_wrap_inline433

tex2html_wrap_inline435 reflexive, transitive closure.

tex2html_wrap_inline437 i steps.


Sushil Prasad
Tue Mar 21 14:15:07 EST 2000