形式语言
【拼音】：xíng shì yǔ yán
【简体】：形式语言
【繁体】：形式語言
英语form languageformal language
法语langage formel
网友释义数学、逻辑和计算机科学中，形式语言（英语：Formallanguage）是用精确的数学或机器可处理的公式定义的语言。如语言学中语言一样，形式语言一般有两个方面:语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。按一定规律构成的句子或符号串的有限或无限的集合。
读音:xíng
[xíng]
(1)（名）形状：方～｜图～｜地～。
(2)（名）形体；实体：有～｜～影不离。
(3)（动）显露；表现：喜～于色｜～诸笔墨。
(4)（动）对照：相～见绌｜相～之下。
读音:shì
[shì]
(1)（名）样式：新～｜西～。
(2)（名）格式：程～｜法～。
(3)（名）仪式；典礼：开幕～｜毕业～。
(4)（名）自然科学中表明某种规律的一组符号：分子～｜方程～。
(5)（名）一种语法范畴；表示说话者对所说事情的方式。如叙述式、命令式、条件式。
读音:yǔ,yù
[yǔ]
[ yǔ ]1. 话：语言。汉语。英语。语录。语汇。语重心长。
2. 指“谚语”或“古语”：语云：“皮之不存，毛将焉附”。
3. 代替语言的动作：手语。旗语。
4. 说：细语。低语。
[ yù ]1. 告诉：不以语人。
读音:yán
[yán]
(1)（名）话：～语｜语～｜格～。
(2)（动）说：～之有理｜畅所欲～。
(3)（量）汉语的一个字叫一言：五～诗。
(4)姓。
