Ich glaube nicht.
Wenn du über {a,b} die Sprache nimmst, die mit
beliebig vielen a's beginnt und wiederum mit beliebig vielen b' s
gefolgt von einem a endet, dann kann man die ja leicht durch
einen endlichen Automaten mit drei Zuständen beschreiben.
Wenn aber die Bedingung dazukommt, das diese
"beliebig vielen " bei a und b die gleiche Anazhl sein soll,
da geht das wohl mitb einem endl. Aut. nicht.
