NPTEL IIT Guwahati

Formally,

iff
'a' may be or an input symbol.

Let I, J, K be IDs of a PDA. We define we write IK, if ID I can become K after exactly i moves. The relations and define as follows

I K

I J if such that I K and K J

I J if such that I J.


	Pushdown Automata (PDA)	Print this page
	First \| Last \| Prev \| Next
	Formally, iff 'a' may be or an input symbol. Let I, J, K be IDs of a PDA. We define we write IK, if ID I can become K after exactly i moves. The relations and define as follows I K I J if such that I K and K J I J if such that I J.
	First \| Last \| Prev \| Next