Это была проблема задания домашнего задания, о которой я знаю, что неправильно ответил. Я дал:
S -> ''
означает, что S дает пустую строку. Я знаю, что пустой набор и пустая строка не совпадают. По словам моего профессора, ответ:
S -> S
Теперь этот ответ кажется мне странным:
- Он никогда не завершится.
- Это не столько язык, сколько отсутствие.
Я понимаю с строго математической точки зрения, я не собираюсь никуда с номером два. Однако требуется ли прерывание языка? Наличие языка, который может продолжаться вечно, звучит хорошо, но тот, который никогда не закончится, звучит неправильно, и я думал, что спрошу, знает ли кто-нибудь, есть ли это требование языка или нет.