LR(1)s have DPDAs?

LR(1)s have DPDAs?

Bilal

From: Bilal Subject: LR(1)s have DPDAs? Date: 1 Jan 2005 17:34:05 -0500 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]