智能词典助手

基于汉语知识库 · 词语释义与组词查询

请帮我解释一下「形式语言」这个词的含义。

助手

「形式语言」释义报告

拼音 xíng shì yǔ yán · 更新 2026-08-17 22:21:50

读音

  • 拼音xíng shì yǔ yán
  • 字母xing shi yu yan
  • 首字母xsyy
  • 注音ㄒㄧㄥˊ ㄕˋ ㄩˇ ㄧㄢˊ

补充释义

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