Изменения

Перейти к: навигация, поиск

ДМП-автоматы и неоднознчность

1 байт добавлено, 00:48, 5 января 2015
Теоремы
{{Теорема
|id=t01
|about=05.014
|statement=Пусть <tex>G = (V, T, P, S)</tex> — КС-грамматика. Предположим, что существует дерево разбора с корнем, отмеченным <tex>A</tex>, и кроной <tex>w</tex>, где <tex>w \in T^{*}</tex>. Тогда в грамматике <tex>G</tex> существует левое порождение <tex>A \Rightarrow^{*}_{lm} w</tex>
|proof=
299
правок

Навигация