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