Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
形式语言
Wikipedia 维基中文 免费百科全书
Download this dictionary
形式语言
在
数学
、
逻辑
和
计算机科学
中,
形式语言
是用精确的数学或机器可处理的公式定义的语言。
如
语言学
中语言一样,形式语言一般有两个方面:
语法
和
语义
。专门研究语言的语法的数学和计算机科学分支叫做
形式语言理论
,它只研究语言的语法而不致力于它的语义。在形式语言理论中,
形式语言
是一个
字母表
上的某些有限长
字符串
的
集合
。一个形式语言可以包含无限多个字符串。
访问 Wikipedia.org... 网页
本文章的材料选自
维基百科
(R)
, 并有
GNU 免费文件许