Изменения

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

Теория формальных языков:Тикеты

125 байт добавлено, 16:24, 12 февраля 2018
Алгоритмы разбора
<li>[[Алгоритм Кока-Янгера-Касами разбора грамматики в НФХ]]
</li><li>[[Алгоритм Кока-Янгера-Касами, модификация для произвольной грамматики]]
</li><li>[[Алгоритм Эрли]]2# разобраться с псевдокодами, там определенно есть лажа в индексах
</li><li>[[Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики]]
</li>
 
=== Опровержение контекстно-свободности языка ===
</li><li>[[Лемма о разрастании для КС-грамматик]]

Навигация