Непустое множество с ассоциативной бинарной операцией умножения называется

Конечное непустое множество символов - это

Грамматика в нормальной бинарной форме - это

Замена в метках переходов пустое слово на 1, а каждое непустое слово - на произведение его букв приведет к

Операция умножения по приоритету

Множество контекстов и множество двусторонних контекстов

Множество двусторонних контекстов

Множество может быть

Множество правых контекстов слова относительно языка

Множество всех слов, допускаемых автоматом с магазинной памятью, формирует

Если к обобщенному конечному автомату добавить переход с меткой 0, то множество допускаемых этим автоматом слов