言語文法の特徴は、それが解釈またはコンパイルされることを定義していますか？

Question

言語文法上、解釈またはコンパイルされることを定義する要素または特性はありますか？あるいは、その言語を処理するコンパイラ/インタプリタの実装だけに依存しますか？

Answer 1

この質問には、formal-languagesというタグが付いています。正式な言語は数学的な抽象であり、インタプリタとコンパイラはうつ伏せのコンクリートです。

したがって、Peanoの公理と通貨との関係を求めるのは多かれ少なかれです。数字の正式なモデルの中には、それがセントを作るかどうかは言えません。実用レベルでは

言語は何がプリミティブevalを石灰持っている場合、あなたは合理的にそれががインタプリタが含まれていますが、もちろんインタプリタが評価され、その後、実行されているコードをコンパイルから成っているかもしれないことを保証することができます結果コード。形式的な数学的モデルとは異なり、現実の世界は漏れた抽象でいっぱいです。