R: S ---> aSb
S ---> SS
S ---> ε
Как написать грамматику для этих выражений?Является ли терминал терминалом без контекста?
Верно ли писать так?
G = ({S}, {a, b}, {S ---> aSb, S ---> SS, S ---> ε}, {S})
или, как это (добавление к терминалам эпсилон):
G = ({S}, {a, b, ε}, {S ---> aSb, S ---> SS, S ---> ε}, {S})
, который является правильным?
Вы имеете в виду, что ε не является терминалом грамматики, не так ли? – alkokura49
@ alkokura49: Это не терминал и не терминал: он представляет собой * последовательность символов грамматики, которая оказывается пустой. Точно так же 'aSb' не является ни терминалом, ни терминалом: это последовательность из трех символов грамматики. ε - последовательность нулевых символов. – rici