Редактирование: Теория формальных языков:Тикеты
Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 51: | Строка 51: | ||
<li>[[Формальные грамматики]] | <li>[[Формальные грамматики]] | ||
</li><li>[[Иерархия Хомского формальных грамматик]] | </li><li>[[Иерархия Хомского формальных грамматик]] | ||
− | </li><li>[[Неукорачивающие и контекстно-зависимые грамматики, эквивалентность]] | + | </li><li>[[Неукорачивающие и контекстно-зависимые грамматики, эквивалентность]] |
− | + | </li><li>[[Правоконтекстные грамматики, эквивалентность автоматам]] | |
− | </li><li>[[Правоконтекстные грамматики, эквивалентность автоматам]] | + | </li><li>[[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора]] |
− | + | </li><li>[[Замкнутость КС-языков относительно различных операций]] | |
− | </li><li>[[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора]] | ||
− | |||
− | </li><li>[[Замкнутость КС-языков относительно различных операций]] | ||
− | |||
</li><li>[[Регулярная аппроксимация КС-языков]]<tex> ^\star </tex> | </li><li>[[Регулярная аппроксимация КС-языков]]<tex> ^\star </tex> | ||
</li> | </li> | ||
− | |||
=== Нормальные формы КС-грамматик === | === Нормальные формы КС-грамматик === | ||
<li>[[Удаление бесполезных символов из грамматики]] | <li>[[Удаление бесполезных символов из грамматики]] |