LR(1)s have DPDAs?

"Bilal" <>
1 Jan 2005 17:34:05 -0500

          From comp.compilers

Related articles
LR(1)s have DPDAs? (Bilal) (2005-01-01)
| List of all articles for this month |

From: "Bilal" <>
Newsgroups: comp.compilers
Date: 1 Jan 2005 17:34:05 -0500
Keywords: question
Posted-Date: 01 Jan 2005 17:34:05 EST

Is this true?

Every LR(1) language has a DPDA (Deterministic Pushdown Automaton).
Proof? Counter examples?

[ Can't you just feed it to an LR(1) parser generator which will
mechanically generate the DPDA? -John]

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.