形式语言

用数学方法，借助标记和符号研究自然语言和人工语言生成和转换机制与规则的语言 来自维基百科，自由的百科全书