Детерминированный мп-автомат

МП-автомат называется детерминированным, если для каждых либо

1. содержит не более одного элемента, для каждого и , либо

2. для всех и содержит не более одного элемента.

Язык, определяемый детерминированным автоматом, называется детерминированным КС-языком. Доказано, что каждая LR(k) грамматика порождает детерминированный КС-язык и каждый детерминированный КС-язык определяется LR(1) грамматикой.

21