Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
lfa:2024:lab09 [2024/12/02 11:31] pdmatei [9.2. Equivalence of the definitions] |
lfa:2024:lab09 [2024/12/02 11:33] (current) pdmatei |
||
|---|---|---|---|
| Line 19: | Line 19: | ||
| * starting from a PDA $math[A] which accepts by empty stack, **create** a PDA $math[A'] which accepts by final state, such that $math[L(A) = L(A')]. | * starting from a PDA $math[A] which accepts by empty stack, **create** a PDA $math[A'] which accepts by final state, such that $math[L(A) = L(A')]. | ||
| * perform the same task - vice-versa. | * perform the same task - vice-versa. | ||
| + | |||
| + | **9.2.2.** Prove that the language $math[L(A)] where $math[A] is a PDA which uses only a fixed number of $math[k] stack cells, is **regular**. | ||