形式言語

この前書いた簡易言語の話はWikipediaの形式言語の項を見ると既に探求されていた。ついでに人工言語も見ておくといい感じ。行き着くところは論理学なんだなーと思いました。いわゆる自然言語がだめなのは、会話とコミュニケーションのためにごちゃごちゃ例外が出るし、文を書くにはいらないものもつくからということですね。