让我先谈谈你的问题 . 一个很好的非正式语言的例子是自然语言 . 英语和斯洛文尼亚就是例子 . Tagalog和Tarifit Berber也是如此 . 不幸的是,语言学家似乎没有对所有人都同意的自然语言的定义 .

诺姆·乔姆斯基(Noam Chomsky)在其1956年的论文_2551353中尝试使用无背景伽玛来模拟自然语言 . 他在那篇论文中发明了(或发现,如果你愿意的话);虽然他对英语语言模型没有用,但它们彻底改变了计算机科学 .

形式上,形式语言只是有限字母表中的一组字符串 . 而已 .

示例包括所有有效的C程序,所有有效的HTML文件,所有有效的XML文件,"balanced"括号的所有字符串(例如 (), ()(), ((()))()(()), ... ),始终停止的所有确定性图灵机的集合(某些编码下的代码),所有简单图形的集合可以使用 k -colors(实际上是某些编码下的代码)着色,所有以 1 开头的二进制字符串的集合等 .

有些使用正则表达式(或者等效地,DFA)很容易识别;有些是不可能使用DFA识别的,但可以使用PDA识别(或者,等效地,可以用无上下文语法描述);其他人不承认这样的描述,但可以通过图灵机识别;有些甚至不是图灵机(称为不可计算机)也无法识别 .

这就是定义如此有用的原因 . 我们在CS evey日遇到的许多事情都可以用正式语言来表达 .

为了对这个主题做一个很好的介绍,我强烈推荐Hopcroft等人出版的“自动机理论,语言和计算简介” .

计算机科学学什么语言,在计算机科学中,什么不是正式语言? [关闭]相关推荐

  1. DSB算法C语言程序,单片机中使用DSB温度传感器C语言程序.doc

    单片机中使用DSB温度传感器C语言程序 单片机中使用DS18B20温度传感器C语言程序(参考1) /************************************************** ...

  2. 计算机科学之父和计算机之父_在计算机科学中找到自己的道路

    计算机科学之父和计算机之父 I vividly remember the nights I've fallen asleep in my college dorm questioning whethe ...

  3. 数据结构(c语言版) 计算机科学丛书,数据结构与算法分析--C语言描述(原书第2版)(计算机科学丛书)...

    摘要: 本书讨论数据结构和算法分析.数据结构主要研究组织大量数据的方法,而算法分析则是对算法运行时间的评估.随着计算机的速度越来越快,对于能够处理大量输入数据的程序的需求变得日益急切.可是,由于在输入 ...

  4. c语言删除文件中的结构体_C语言插入、删除、更改文件内容

    我们平时所见的文件,例如 txt.doc.mp4 等,文件内容是按照从头到尾的顺序依次存储在磁盘上的,就像排起一条长长的队伍,称为顺序文件. 除了顺序文件,还有索引文件.散列文件等,一般用于特殊领域, ...

  5. c语言无符号中符号什么意思,C语言中无符号与有符号及相加问题

    C语言中无符号与有符号问题 unsigned char a[5] = { 12,36,96,128,182 }; a[]范围为0~256. 数组中数都有效. char a[5] = { 12,36,9 ...

  6. c语言规定 程序中各函数之间().,C语言基础笔试题

    1.C语言程序的基本单位是____ A) 程序行 B) 语句 C) 函数 D) 字符.C.1 2.C语言程序的三种基本结构是____ A.顺序结构,选择结构,循环结构 B.递归结构,循环结构,转移结构 ...

  7. 奥鹏19春学期c语言作业答案,中石油(华东)《C语言》2013年春学期在线作业(三)...

    <C语言>2013年春学期在线作业(三) g1W奥鹏作业学习网(aopeng123.cn) 试卷总分:100g1W奥鹏作业学习网(aopeng123.cn) 单选题g1W奥鹏作业学习网(a ...

  8. c语言编程单片机中的sbit,单片机c语言的sbit和sfr

    bit和int char之类的差不多,只不过char=8位, bit=1位而已.都是变量,编译器在编译过程中分配地址.除非你指定,否则这个地址是随机的.这个地址是整个可寻址空间,RAM+FLASH+扩 ...

  9. c语言在函数中返回数组,关于C语言函数返回数组的问题

    关于C语言函数返回一个数组 c语言中函数不能直接返回一个数组,但是可以用其他方式实现类似功能,不过需要注意: 1.该数组不能是返回函数的局部变量数组,因为局部变量数组在退出函数后会被释放. 可以是全局 ...

最新文章

  1. Python算法题----求出和为S的所有连续正整数数列
  2. 从Python调用外部命令
  3. [poj] 2318 TOYS || 判断点在多边形内
  4. mysql select time,MySql查询时间段的方法
  5. 在Ubuntu 20.04 LTS中配置Java开发环境
  6. Java网络编程-1
  7. html5 心,HTML5你必须知道的28个新特性
  8. win10系统wifi图标不见了,如何链接无线网
  9. Java之阻塞和非阻塞以及同步和异步的区别
  10. php运算符综合实例,php中三元运算符的嵌套实例
  11. 多用途DF无线数据收发模块
  12. waitpid() 做人要厚道
  13. 【原创】新韭菜日记12--涨了怕踏空,跌了急踩踏,股民的记忆只有7秒钟-----我们得承认多数人是非理性的
  14. [算法]LeetCode每日一题--174. 地下城游戏(Java)
  15. CSP-202112-3-登机牌
  16. 如何将SketchUp插件添加到菜单栏及工具条
  17. Macbook Matlab2017 安装机器人学工具箱(Robotic Toolbox for Matlab)
  18. 十条程序员之爆笑冷笑话
  19. 不知名网站编程(一)
  20. 基于ZYNQ的petalinux 2018.3 DMA驱动的移植和内核编译

热门文章

  1. 乐鑫官宣:ESP32-S3真的来了!
  2. mac 安装node_node 服务端部署
  3. mfc获取别的计算机是否在线,VC获取并修改计算机屏幕分辨率(MFC)
  4. 实时对讲是怎么发起的_QQ可实时显示手机电量并展示给好友 近半投票者支持该功能...
  5. 信仰的力量—海归毕业季的选择与入职后的蜕变记
  6. 有监督学习和无监督学习举例_对比自监督学习
  7. HTML 学习笔记3
  8. java----java工具包
  9. 对xml文件的sax解析(增删改查)之一
  10. 【转】windows Server2012安装iis