Reguláris nyelv

(gondolom `n,m ≥ 0` van a feltételben... (lemaradt a 0).
Azok a regulásris nyelvek, amikhez lehet olyan véges automatát szerkeszteni, amik pontosan azt a nyelvet fogadják el.

Indirekten:
Tegyük fel, hogy az `M` automata elfogadja ezt az `L` nyelvet. Az automatának van `n` darab állapota.
Nézzük az összes olyan szót, amik `0 ≤ k ≤ n` darab `a` betűből állnak. Ez `n+1` darab szó. Mivel csak `n` darab állapot van, biztos, hogy lesz köztük két olyan szó, amik ugyanabban az  állapotban érnek véget. Legyen ez a két szó az `a^k` és az `a^l` (`k,l ≥ 0` és `k≠l`)
Az `M` automata az `L` nyelvet fogadja el, ezért nem fogadja el az `a^kb^(3k)` szót, elfogadja viszont az `a^lb^(3k)` szót. De mivel ennek a két szónak az `b^(3k)` végei ugyanabból az állapotból indulnak, nem tudnak más végállapotba jutni, ezért ellentmondásra jutottunk..