2013-03-30 4 views

ответ

3

Да! Существует много разных определений КПК, но, как правило, определение говорит о том, что КПК имеет набор принимающих состояний, который должен быть подмножеством множества всех состояний в КПК. Пустое множество является допустимым набором, поэтому КПК не обязательно должен принимать. Вот как можно построить КПК для пустого языка, например, который, как известно, не содержит контекста.

Надеюсь, это поможет!

0

Некоторые формы push-down automaton принимают путем остановки с пустым стеком на конце ввода. Для этой формы нет такого понятия, как конечное состояние.