Формальное описание КПК
Я помню, как сделать формальное описание FSM, но его создание для КПК выглядит немного иначе. Может кто-нибудь помочь объяснить обведенную часть? Обычно я делаю хорошие заметки, но не могу найти ничего об этом в своей записной книжке или где-либо еще. Любая помощь приветствуется.
2 ответа
Это ваши переходы, как показано на диаграмме. Посмотрите здесь.
Во время работы над автоматом нажатия у нас есть два типа: графический и мгновенный.
В графическом КПК мы показываем операции стека схематически.
В мгновенном КПК мы используем мгновенные правила.
Ваша обведенная часть относится к более поздней категории.
Это правила, которые означают следующее:
Прежде чем начать, имейте в виду, что изначально стек имеет значение epsilon. И для каждого нажатия может быть соответствующая операция pop.
Таким образом, в первой строке, т. Е., ((S,a,E),(S,a)) -> Когда будет введен первый алфавит a, состояние останется прежним, а вывод будет a. Кроме того, пока входное состояние будет оставаться неизменным.
Во второй строке ((S,b,a),(f,E)) -> Это правило гласит, что когда после ввода алфавита a у вас в качестве входных данных будет изменяться состояние, будет выталкиваться a и любой другой алфавит чем S можно использовать для отображения состояния изменения, и теперь значение будет epsilon.
В последней строке показано, что при вводе снова b состояние остается прежним.