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