(DPDA) and DCFLs
Print this page
First   |   Last   |   Prev   |   Next

from P which simulate the behavior of P as follows.

        such that .

       

        

         Contains all the moves of P and also the following.

By using rule 1, P' simply enters the initial configurations of P pushing Z0above the bottom of stock marker Z0'. Then P' simulates the behavior of P on any input string. When P accepts

First   |   Last   |   Prev   |   Next