Добрый день! Помогите пожалуйста. Необходимо преобразовать грамматику в МП-автомат.
![$S\to0S1|A$ $S\to0S1|A$](https://dxdy-04.korotkov.co.uk/f/b/0/a/b0ae1a4eeb155f0350f34117ed69bb3482.png)
![$A\to1A0|S|\varepsilon$ $A\to1A0|S|\varepsilon$](https://dxdy-03.korotkov.co.uk/f/e/f/a/efa3add2c7aaf1c0d59def6967f30c0882.png)
Я понимаю, что данной грамматике принадлежат слова,которые как бы "обратно симметричны" относительные середины,т.е там где слева 1, справа симметрично будет 0 и наоборот. Я пробовала делать автомат, который последовательно записывает в стек, а как только в его вершине появляется 01 или 10, то это изымается. Но такой автомат будет допускать и слова, не принадлежащие данной грамматике, например 1001. Была идея, что надо последний сивол перемещать вперед, и если там противоположный, то удалять. Но я это могу сделать только один раз при начальном заполнение стека. Подскажите пожалуйста идеи.