数学、
逻辑和
计算机科学中,形式语言(
英语:Formal language)是用精确的数学或机器可处理的公式定义的语言。
如
语言学中语言一样,形式语言一般有两个方面:
语法和
语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论,它只研究语言的语法而不致力于它的语义。在形式语言理论中,形式语言是一个
字母表上的某些有限长
字符串的
集合。一个形式语言可以包含无限多个字符串。
按一定规律构成的句子或符号串的有限或无限的集合。
<a href="./?mention=数学">数学</a>、<a href="./?mention=逻辑">逻辑</a>和<a href="./?mention=计算机科学">计算机科学</a>中,形式语言(<a href="./?mention=英语">英语</a>:Formal language)是用精确的数学或机器可处理的公式定义的语言。<br/>如<a href="./?mention=语言学">语言学</a>中语言一样,形式语言一般有两个方面: <a href="./?mention=语法">语法</a>和<a href="./?mention=语义">语义</a>。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论,它只研究语言的语法而不致力于它的语义。在形式语言理论中,形式语言是一个<a href="./?mention=字母表">字母表</a>上的某些有限长<a href="./?mention=字符串">字符串</a>的<a href="./?mention=集合">集合</a>。一个形式语言可以包含无限多个字符串。<br/>按一定规律构成的句子或符号串的有限或无限的集合。