Итак, я обнаружил, что этот КПК принимает палиндромы на языке {0,1}*.
Однако я не понимаю, как он мог принять «1» или «0».
В B он может прочитать 1 или 0 и поместить тот же символ в стек, а затем перейти к C. Однако, когда он находится в C, ему некуда идти, так как для достижения $ в стеке необходимо прочитать другой символ.
Может кто-нибудь объяснить, как это работает?
Я думаю, что для того, чтобы принять один символ, нам понадобится переход от B к D => 1,$->ε | 0,$->ε.
Буду ли я прав?
Спасибо :)
