Найти МП-автомат, допускающий язык!

[LExys]

Помогите, пожалуста!!!
Всю голову уже сломал, не получается решить задачу.
Необходимо найти и построить(в виде графа, с состояниями и переходами) МП-автомат, допускающий язык $L=\{b a^n b^{2n} a^n b|n>0\}.$
Заранее благодарю за помощь!

Deggail: формулы поправил, посмотрите, как пишутся фигурные скобки.