比浏览器更快的访问！
18 关系: 可判定性，上下文有关语言，上下文无关语言，上下文无关文法，不收缩文法，乔姆斯基谱系，形式语言，形式文法，空字元串，线性有界自动机，終結符與非終結符，解析，计算语言学，诺姆·乔姆斯基，黑田范式，自然语言，适度上下文有关语言，树-邻接文法。
可判定性
没有描述。
新！!: 上下文有关文法和可判定性 · 查看更多 »
上下文有关语言
在理论计算机科学中，上下文有关语言是可被上下文有关文法定义的形式语言。它是乔姆斯基层级中的四类文法之一。当然它在理论和实践中都是最少使用的。.
新！!: 上下文有关文法和上下文有关语言 · 查看更多 »
上下文无关语言
上下文无关语言是可以用上下文无关文法定义的形式语言。所有上下文无关语言的集合同一于下推自动机所接受的语言的集合。.
新！!: 上下文有关文法和上下文无关语言 · 查看更多 »
上下文无关文法
上下文无关文法（context-free grammar，縮寫為CFG），在计算机科学中，若一个形式文法 G.
新！!: 上下文有关文法和上下文无关文法 · 查看更多 »
不收缩文法
没有描述。
新！!: 上下文有关文法和不收缩文法 · 查看更多 »
乔姆斯基谱系
乔姆斯基体系是计算机科学中刻画形式文法表达能力的一个分类谱系，是由诺姆·乔姆斯基于1956年提出的。它包括四个层次：.
新！!: 上下文有关文法和乔姆斯基谱系 · 查看更多 »
形式语言
在数学、逻辑和计算机科学中，形式语言（Formal language）是用精确的数学或机器可处理的公式定义的语言。 如语言学中语言一样，形式语言一般有两个方面: 语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。.
新！!: 上下文有关文法和形式语言 · 查看更多 »
形式文法
在计算机科学中，形式语言是：某个字母表上，一些有限长字串的集合，而形式文法是描述这个集合的一种方法。形式文法之所以这样命名，是因为它与人类自然语言中的文法相似的缘故。 形式文法描述形式语言的基本想法是，从一个特殊的初始符号出发，不断的应用一些产生式规则，从而生成出一个字串的集合。产生式规则指定了某些符号组合如何被另外一些符号组合替换。举例来说，假设字母表只包含'a'和'b'两个字符，初始符号是'S'，我们应用下述规则： 于是我们可以通过把"S"重写为"aSb"（规则1），我们还可以继续应用这条规则把"aSb"重写为"aaSbb"。这个重写的过程不断重复，直到结果中只包含字母表中的字母为止。在例子中，我们可以得到S -> aSb -> aaSbb -> aababb这样的结果。由文法刻画的语言，包含了所有可以这样产生的字串，比如ba, abab, aababb, aaababbb等等。.
新！!: 上下文有关文法和形式文法 · 查看更多 »
空字元串
在計算機科學或形式語言中，空字元串是指在字母表Σ上，其長度為 0 的那唯一字串，以ε或λ來標記。 在物件導向程式語言中，空字串共非空參照。一個字串型別的空參照並未指向一個字串物件，而對其操作則會導致錯誤。空字串則可以使用字串運算。.
新！!: 上下文有关文法和空字元串 · 查看更多 »
线性有界自动机
线性有界自动机（英文：Linear bounded automaton，简写： LBA）是受限形式的非确定图灵机。它拥有由包含来自有限字母表的符号的单元构成的磁带，可以一次读取和写入磁带上一个单元的并可以移动的磁头，和有限数目个状态。它区别于更为普遍的图灵机在于尽管磁带最初被认为是无限的，只有其长度是初始输入的线性函数的有限临近部分可以被读写磁头访问。这个限制使 LBA 成为在某些方面比图灵机更接近实际存在的计算机的精确模型。.
新！!: 上下文有关文法和线性有界自动机 · 查看更多 »
終結符與非終結符
終結符和非終結符在電腦科學和語言學的领域是用來指定推導規則的元素。在某個形式語法之中，終結符和非終結符是兩個不交的集合。.
新！!: 上下文有关文法和終結符與非終結符 · 查看更多 »
解析
解析可以指：.
新！!: 上下文有关文法和解析 · 查看更多 »
计算语言学
計算語言學，亦稱電腦語言學（computational linguistics）是一門跨學科的研究領域，試圖找出自然語言的規律，建立運算模型，最終讓電腦能夠像人類般分析，理解和處理自然語言。 過去，計算語言學的研究一般由專門負責利用電腦處理自然語言的電腦學家進行。由於近年的研究顯示人類語言是超乎想像的複雜，現在的計算語言學研究多由來自不同學科的專家共同進行。一般來說，研究隊伍的成員有電腦學家、語言學家、語言專家（熟悉有關研究項目所要處理的語言的人），以至研究人工智能、認知心理學、數學、邏輯學等的專家。 計算語言學具有理論和應用的成分。理論計算語言學聚焦於理論語言學與認知科學；應用計算語言學聚焦於模擬人類使用語言的實用成果。 對於計算語言學的定義是：……從計算的觀點，以科學方法研究語言的學問。計算語言學家關注於提供各種語言學現象的計算模型。.
新！!: 上下文有关文法和计算语言学 · 查看更多 »
诺姆·乔姆斯基
艾弗拉姆·诺姆·乔姆斯基（Avram Noam Chomsky，），或譯作“荷姆斯基”，美國哲學家、語言學家、認知學家、邏輯學家、政治評論家。乔姆斯基是麻省理工学院语言学的荣誉退休教授，他的生成语法被认为是20世纪理论语言学研究上的重要贡献。他對伯尔赫斯·弗雷德里克·斯金纳所著《口語行为》的評論，也有助於发动心理学的认知革命，挑战1950年代研究人類行為和语言方式中占主导地位的行为主义。他所採用以自然為本來研究语言的方法也大大地影響了语言和心智的哲学研究。他的另一大成就是建立了乔姆斯基层级：根据文法生成力不同而对形式语言做的分类。乔姆斯基还因他对政治的热忱而著名，尤其是他对美国和其它国家政府的批评。從1960年評論越南戰爭以來，他的媒體和政治評論便越來越著名。一般认为他是活跃在美国政坛左派的主要知识分子。乔姆斯基把自己归为自由意志社會主義者，并且是无政府工团主义的同情者。据艺术和人文引文索引说，在1980年到1992年，乔姆斯基是被文献引用数最多的健在学者，并是有史以来被引用数第八多的學者。.
新！!: 上下文有关文法和诺姆·乔姆斯基 · 查看更多 »
黑田范式
在计算机科学中，形式文法是 Kuroda 范式的，当且仅当所有产生规则都有如下形式: 这里的 A, B, C 和 D 是非终结符而 α 是终结符。 所有 Kuroda 范式的文法都是单调的，因此生成上下文有关语言。反过来说，所有不生成空串的上下文有关语言都可以被 Kuroda 范式的文法所生成。.
新！!: 上下文有关文法和黑田范式 · 查看更多 »
自然语言
自然语言（Natural language）通常是指一种自然地随文化演化的语言。英语、汉语、法語、西班牙語、日语为自然语言的例子，而世界语则为人工语言，即是一种由人特意为某些特定目的而创造的语言。 不过，有时所有人类使用的语言（包括上述自然地随文化演化的语言，以及人工语言）都会被视为“自然”语言，以相对于如编程语言等为计算机而设的“人造”语言。这一种用法可见于自然语言处理一词中。自然语言是人类交流和思维的主要工具。.
新！!: 上下文有关文法和自然语言 · 查看更多 »
适度上下文有关语言
在形式文法理论中，适度上下文有关语言是可以有效解析但仍拥有足够的上下文敏感性来允许自然语言的解析的一类形式语言。这个概念是 Aravind Joshi 在1985年首次介入的。 此语言类的形式条件有: 1: 语言必须是在多项式时间内可解析的。 2: 语言必须有恒定增长；这意味着字符串长度的分布应当是线性的而非上线性(supralinear)的。这通常由证明某类适度上下文有关语言的泵引理来保证。 3: 语言应当容许有限的跨序列依赖(cross-serial dependencies)，允许在两个任意长子短语之间施加文法协定；上下文无关文法不满足这个条件。要求由与自身相串接的字符串所构成的语言属于适度上下文有关语言在形式上确保了这个条件。 在建立适度上下文有关语言公式化上的一些尝试包括 D. J. Weir 开发的线性上下文无关重写系统，Edward P. Stabler 的极小主义者文法，Carl Pollard 的头文法，Mark Steedman 开发的组合范畴文法， Gerald Gazdar 定义的线性附标文法，Aravind Joshi 开发的树-邻接文法。前两个文法类定义同样的语言集合，而余下的定义一个单一的、严格更小的语言类；尽管在两个类中所有语言都是适度上下文有关的并且两个类都支持某种跨序列依赖，Laura Kallmeyer 相信这两个类都不能穷尽适度上下文有关语言的完整集合。 大量的上述的类可以用线索自动机来解析，而更小的类可以用嵌入下推自动机来解析。.
新！!: 上下文有关文法和适度上下文有关语言 · 查看更多 »
树-邻接文法
树-邻接文法(TAG)是 Aravind Joshi 定义的文法形式化。树-邻接（adjoining）文法在某种意义上类似于上下文无关文法，但是基本的重写单位是树而不是符号。上下文无关文法有把符号重写为其他符号的规则，而树-毗连文法有把树的节点重写为其他树的规则。.
新！!: 上下文有关文法和树-邻接文法 · 查看更多 »
