LR(1)s have DPDAs?

"Bilal" <afkar@mail2world.com>
1 Jan 2005 17:34:05 -0500

          From comp.compilers
Related articles
LR(1)s have DPDAs? afkar@mail2world.com (Bilal) (2005-01-01)
| List of all articles for this month |
From: "Bilal" <afkar@mail2world.com>
Newsgroups: comp.compilers
Date: 1 Jan 2005 17:34:05 -0500
Organization: http://groups.google.com
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.