text: は、文字通り自然発生的のものであり、形式言語における構文規則のように明確に規定するのは難しい。ただ、素朴な文法論の主張は、形式言語の理論とみなすことができる。素朴な文法論は、例えば次のようなものである。品詞にはこのようなのものがある。この語はあの品詞に属す。この品詞に属す語をこの活用と組み合わせと順序とで並べると文（や句や節）になる。こういう文法論はすなわち、素記号とは何かを定め、それらから文を作る構文規則を定めるのだから、まさに形式言語の理論である。こういう形式言語論的な文法論は、実際の言語と比較することで自然言語の特徴を浮き彫りにし、自然言語のより深い理解へと導くことを可能とすることもなくはない。言語そのものではなく、言語行動の深層をなす人間精神を探るためには、むしろこういう文法論を数学化し、更に意味論・文法論を伴った論理学にまで推し進めることが有意義ともいえよう。脚注 文法 理論計算機科学 構文解析 (プログラミング) 数学に関する記事 メタ論理学