有限オートマトンの限界

質問

文系の大学生ですが理系の学問も少しかじっていますが、全くわからないのです。
とくに教科書の有限オートマトンにかんするこの記述がよくわかりません

「有限状態機械で定義できる言語はかなり限定されている。
　　ab,aabb,aaabbb,・・・　
　のように文字aがn個続いた後、n個の文字bが現れるような文字列からなる
　言語を定義することが出来ません」

え・・・なんでできないんですか・・・？そのあと文脈自由文法なら正規文法で書けなかったab,aabb,aaabbbのパターンの定義も書ける、と書いてあるのですが、それもよくわかりません。こんなオバカですけど、どうしても理解したいので、説明よろしくおねがいします！m(._.)mちなみにとても急いでいます！よろしくおねがいします！！

回答No.2

nanashisan · ベストアンサー

何個あるかわからないaの個数を記憶するメカニズムが必要だからです。

お礼

なるほどー！わかりました、ありがとうございました！

回答No.1

masa0720

今学校でオートマトンを習っている理系の学生ですが、これはaが出ないとbが出られないわけです。つまりaが無限だったらいつまで経ってもbが出られないので、限定されてくるのだったと思います。

間違っていたらごめんなさい。

補足

早速のご回答ありがとうございました！
しかし、せっかく説明していただいたのに、それでも解らないんです・・・
なぜaが出ないとbが出られないのでしょうか。
そこがよく解らなかったです。
ぜひ教えてください！