けいしき-げんご [5] 【形式言語】 生成文法が対象とする，数学的な文法規則により生成される抽象的言語。