形式语言理论

形式语言理论 正文　　用数学方法研究自然语言（如英语）和人工语言（如程序设计语言）的语法的理论。形式语言就是模拟这些语言的数学工具。它只研究语言的组成规则，不研究语言的含义。 　　形式语言理论在自然语言的理解和翻译...

波斯特对应问题

对应问题在形式语言理论和程序设计理论中有重要应用。由于波斯特对应问题是不可判定的，可推出形式语言理论和程序设计理论中的许多问题是不可判定的。例如，任意上下文无关语言是否有歧义，这个问题就是不可判定的。 　　参考书目 　J...

计算理论

形式语言理论等。作为计算机科学的理论基础的计算理论已经广泛应用于科学... 简介 计算理论 【theory of computation】 用来研究计算的过程与功效的数学理论。1936年，数理逻辑专家便提出了计算...

所属分类： 计算数学

语言模型

语言系统出发，生成语言的某一集合，如N.乔姆斯基的形式语言理论和转换语法...与具体直线之间的关系。 　　语言模型是一个单纯的、统一的、抽象的形式系统...语言模型 正文　　数理语言学中模拟语言客观事实的抽象的数学模型...

所属分类： 电子技术 计算机术语 计算机编程

自然语言语法

语言环境的作用。为了使英语语法形式化，N.乔姆斯基于50年代提出著名的形式语言理论，建立了形式语法体系。他将语法和对应的语言按从普遍到特殊的顺序...对语言的结构形式进行描述，规定语言中合式句的方式，并提供由词构造...

所属分类： 自动化 计算机术语

董韫美

计算机上的编译器，其后的工作包括形式语言理论、编译技术。1979年提出...包括形式语言理论、编译技术和软件工具。1978－1980年，首先提出用计...基于复用的文法推断方法，和提出一种新的递归函数理论：上下文无关语言上的...

所属分类： 中国科学家 中国科学院院士 中科院院士 信息技术科学部院士 数学物理部院士

理论计算机科学

包括：①自动机论与形式语言理论;②程序理论(包括程序正确性证明、程序验证等...形式语言理论是50年代发展起来的。前者的历史还可以上溯到30年代，因为...机（简称RAM）以及多带图灵机等。　 　　形式语言理论 　导源于数理语言...

程序设计理论

。因此，程序设计语言理论是设计、实施和使用程序设计语言的理论基础（见形式语言理论、形式语义学）。 　　如何使用程序设计语言编制程序，以正确实现预定...。程序设计理论就是研究程序设计方法，并讨论设计程序设计语言、实施程序设计语言...

正则语言

正则语言 正文　　形式语言理论中最简单的语言类，是上下文无关语言类的一个真子类，在乔姆斯基语言分层中处于最低层。又称 3型语言。正则语言有两种...语言由正则文法（或称右线性文法，见形式语言理论）所生成。当限制产生式形式为...

所属分类： 计算机术语 计算机编程

L系统

梅伊尔系统，简称L系统。 　　在乔姆斯基形式语言理论中，字母表被分成终结...，没有单独的终结字母表,所有生成的字都在系统语言中；初始字母可以被初始字所...

搜索形式语言理论相关的维吧

1[2][3]下一页最后一页