frmal grmmar n. 形式文法《対象を記号の体系とみなし, アルゴリズム (algorithm) の観点に立って, その記号列の分析・記述を行う理論》.