Theorem 5.1.1: Given PDA M1, there is a PDA M2 with L(M1) = Null(M2).
Theorem 5.1.2: Given PDA M1, there is a PDA M2 with Null(M1) = L(M2). Furthermore, M2 can be chosen to have a single final state (the only additional state).
Previous slide | Next slide | Back to first slide | View graphic version |