Мне кажется, что всё гораздо проще
Добавлено спустя 2 минуты 48 секунд:
Solarise писал(а):
A M A -> [.] M , M={0, 1, 2, 3, 4}
A 5 A -> [.] 0
A 6 A -> [.] 1
A 7 A -> [.] 2
A 8 A -> [.] 3
A 9 A -> [.] 4
A E -> E A
-> A
А это опять неверно

Если число состоит более чем из одного знака, то ответ будет получаться той же длины, хотя должен быть однозначным.