数眼知识图谱

大规模开放的百科中文知识图谱

试一试

eg： 周杰伦、人工智能
用户协议

Information

数学、逻辑和计算机科学中，形式语言（英语：Formal language）是用精确的数学或机器可处理的公式定义的语言。 如语言学中语言一样，形式语言一般有两个方面: 语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。 按一定规律构成的句子或符号串的有限或无限的集合。
InfoBox
属性 值
外文名称 Format Language
领域 数学、逻辑和计算机科学
中文名 形式语言
Tag
中国电子学会 语言术语 语言
搜索中...

搜索结果