Может ли контекстно-свободная грамматика включать «мертвые состояния» из автомата, такие как
Производственные правила и будут навсегда и никогда не будут генерировать слово. Разрешено ли это или ДОЛЖНЫ ли правила производства заканчиваться терминалом в какой-то момент?
Да, конечно. Каждый NFA может быть написан как CFG. И создание DFA с «мертвым состоянием» (термин, которому меня учили, это «слив») тривиально.
источник