形式言語

形式言語とは、文法や意味が形式的に与えられている言語である。ロジバンなどの工学言語では機械的に読み取ることができるように、形式言語で文法が表されていることがある。

詳細はWikipediaの記事(形式言語)に譲り、ここでは人工言語に特化した内容について記述する。

表記法

よく使われる表記方法として、バッカス・ナウア記法(BNF)がある。他にも Parsing Expression Grammar(PEG)なども使われることがある。

たとえば、「文は　主語＋自動詞　または　主語＋他動詞＋目的語　という順序で構成される。」という人工言語があるとする。この文章をBNFで表現すると以下のようになる。

<文>::= (<主語><自動詞>) | (<主語><他動詞><目的語>)

更に、「主語とは名詞であり、目的語は名詞に目的語マーカーを前置したものである」というルールがあるのであれば、これをBNFで

<主語>::= <名詞>

<目的語>::=<目的語マーカー><名詞>

と表現できる。このように、人工言語においては、文法の説明などで簡素な表記をするために形式言語を利用することができる。