Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
visibly_pushdown_languages [2007/05/31 12:01] vkuncak |
visibly_pushdown_languages [2007/05/31 12:04] vkuncak |
||
|---|---|---|---|
| Line 44: | Line 44: | ||
| Solution: not just a set of states, but a summary of relation from initial to final states of 'procedure'. Then update directly the effect of a procedure call on each state. | Solution: not just a set of states, but a summary of relation from initial to final states of 'procedure'. Then update directly the effect of a procedure call on each state. | ||
| - | Note: you never store original symbols on the stack. | + | Note: you never store original symbols on the stack (but we store the call input symbol). |
| ===== MSOL over strings with matching relation ===== | ===== MSOL over strings with matching relation ===== | ||