Как насчет этого?
S -> aA | T
A -> bB
B -> aC
C -> bS
T -> b
Это обычная грамматика - все произведения вида X -> sY
или X -> t
, и соответствуют минимальному DFA для рассматриваемого языка посредством прямого сопоставленияпроизведений к транзакциям и нетерминальных символов к государствам.