Существенно неоднозначные языки — различия между версиями
| Строка 4: | Строка 4: | ||
===Пример:=== | ===Пример:=== | ||
Рассмотрим грамматику <tex>E \rightarrow E + E | E * E</tex> и выводимую цепочку<tex>E + E * E</tex>. Ее можно вывести двумя способами: | Рассмотрим грамматику <tex>E \rightarrow E + E | E * E</tex> и выводимую цепочку<tex>E + E * E</tex>. Ее можно вывести двумя способами: | ||
| + | |||
<tex>E \Rightarrow E + E \Rightarrow E + E * E</tex> | <tex>E \Rightarrow E + E \Rightarrow E + E * E</tex> | ||
| + | |||
<tex>E \Rightarrow E * E \Rightarrow E + E * E</tex> | <tex>E \Rightarrow E * E \Rightarrow E + E * E</tex> | ||
| + | |||
Эта граматика неоднозначна. | Эта граматика неоднозначна. | ||
Версия 07:41, 2 декабря 2010
Неоднозначные грамматики
Неоднозначной грамматикой называется грамматика, по которой для одной цепочки существует более одного дерева разбора..
Пример:
Рассмотрим грамматику и выводимую цепочку. Ее можно вывести двумя способами:
Эта граматика неоднозначна.
