Are there any resources on how to convert a non-deterministic PDA to a deterministic one, if a deterministic PDA actually exists? Or is there a step by step way on how to do this, kind of like going from an NFA to DFA?
Thanks
Are there any resources on how to convert a non-deterministic PDA to a deterministic one, if a deterministic PDA actually exists? Or is there a step by step way on how to do this, kind of like going from an NFA to DFA?
Thanks
No. Not every nondeterministic PDA has an equivalent deterministic PDA. Even if you have a nondeterministic PDA that is guaranteed to have a deterministic equivalent, there is no mechanical procedure to find it.