Обсуждение:Неукорачивающие и контекстно-зависимые грамматики, эквивалентность — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Баги в статье)
 
(Удалено содержимое страницы)
 
(не показаны 2 промежуточные версии 1 участника)
Строка 1: Строка 1:
*# «задаваемого грамматикой» в доказательстве теоремы выделяется запятыми.
+
 
*# «Правила вида <tex>$S$  \to \varepsilon</tex>» Насколько я знаю определение [[Иерархия Хомского формальных грамматик#Класс 1 | неукорачивающей]] грамматики, правило такого вида бывает максимум одно.
 
*# В том же самом месте, что и предыдщее: почему где-то терминалы пишутся <tex>S</tex>, а где-то {{---}} <tex>$S$</tex>?
 
*# «Следовательно такая грамматика…» в последнем доказательстве. После «следовательно» далжна стоять запятая.
 
*# Последнее предложение. Мне кажется, оно написано не на русском. «Следует» здесь не к месту. [[Участник:Leugenea|Евгений Лукьянец]]
 

Текущая версия на 17:45, 13 января 2016