chomsky hierarchy in plain english

Question

私は、Chomskyによって設定された正式な文法（無制限、文脈依存、文脈自由、規則的）の4つのレベルの平凡な（すなわち非形式的な）説明を見つけようとしています。

私は正式な文法を勉強してから年をとりました。さまざまな定義が、今私が視覚化するのが混乱しています。明らかにするために、ではなくで、正式な定義を探しています（たとえば、hereとhere - 私はグーグルでも他の誰でも可能です）。代わりに、私が見つけたいと思っていたのは、完全性のために明快さを犠牲にしない、きれいで簡単な説明でした。

Answer 1

これらの言語を生成しているオートマトンを覚えている方がいいかもしれません。

通常の言語は、レギュラーオートマトンによって生成されます。彼らは接頭辞（palindrome言語）に応じて接尾辞が付いた言語があるたびに、過去の知識を知っているだけです（これはメモリに計算があります）。これは通常の言語ではできません。

文脈自由言語は、非決定的プッシュダウンオートマトンによって生成されます。彼らは過去の知識（普通のオートマトンとは対照的ではないスタック）を知っていますが、スタックは上からしか見ることができないので、過去を完全に知ることはできません。

文脈依存言語は、線形結合された非決定論的チューリングマシンによって生成されます。彼らは過去を知っていて、決定的ではなく、毎回過去にアクセスすることができるため、さまざまな状況に対応できます。

制限のない言語は、チューリングマシンによって生成されます。教会 - チューリング - テーゼによれば、チューリングマシンはあなたが想像できるすべてを計算することができます。

Answer 2

通常の言語では、多くの同等の特徴があります。彼らは、通常の言語を見るためのさまざまな方法を提供します。 「普通の英語」の定義を与えることは難しく、通常の言語の特徴を理解することが難しい場合は、「普通の英語」の説明が役立つことはまずありません。定義とさまざまなクロージャのプロパティから注目すべき点の1つは、規則的な言語が何らかの形で「有限性」という概念を具体化しているということです。しかし、これはまた、通常の言語に精通していなくても感謝するのは難しいです。

有限オートマトンの概念がシンプルでクリーンでないと分かりますか？

私は（少なくとも他の読者のために）多くの同等の特性評価のいくつかを言及してみましょう：受け入れalternating finite automata

言語で受け入れnondeterministic finite automata

言語で受け入れdeterministic finite automata

言語で受け入れ

• 言語by two-way deterministic finite automata
• によって生成された言語
• によって生成された言語right-linear grammars
• regular expressionsによって生成された言語。
• right-congruence of finite indexの等価クラスの和集合。
• 有限インデックスの合同の等価クラスの和集合。
• 有限モノロイドの部分集合のモノイド準同型の逆像。
• 言語は、単語よりもモナド2次論理で表現可能です。

Answer 3

正規：これらの言語は、はい/いいえ有限オートマトンと

文脈自由答える：（状態machieneとスタックを使用して）入力ワードが与えられたとき、それならば、これらの言語は、我々は常にYES/NO答えることができます限り文法での生産が縮小したことがないよう（α - >β）私たちはイエス/ノー（入力とサイズが線形であるメモリの状態machieneとチャンクを使用して）答えることはできません：敏感言語

コンテキストのメンバーであります

再帰的ennumerable：それはそう答えることができるが、NOの場合には、それは

は、完全な説明のためにthisビデオを見る無限ループに入ります。