называется КС-грамматика, множество терминальных символов которой разбито на множество входных символов и множество выходных символов, которые называются также символами действия. |
Чтобы не возникало путаницы в случае использования одинаковых символов
во входном и выходном алфавитах, условимся выделять выходные символы фигурными
скобками.
С использованием таких обозначений правила грамматики ГТ7.1
имеют вид: