上下文有关文法（CSG，英語：context-sensitive grammar）是一種形式文法，其中任何产生式规则的左手端和右手端都可以被终结符和非终结符構成的上下文所围绕。上下文有关文法比上下文无关文法更一般性，但仍足够有秩序得可以被线性有界自动机所解析。 上下文有关文法...

在理论计算机科学中，上下文有关语言是可被上下文有关文法定义的形式语言。它是乔姆斯基谱系中的四类文法之一。它在理论和实践中都是最少使用的。 上下文有关语言的可计算性等价于线性有界非确定图灵机。它是磁带只有 kn 个单元的非确定图灵机，这里的 n 是输入的大小而 k...

A 出现的上下文。如果一个形式语言是由上下文无关文法生成的，那么可以说这个形式语言是上下文无关的。（条目上下文无关语言）。 上下文无关文法重要的原因在于它们拥有足够强的表达力来表示大多数程序设计语言的语法；实际上，几乎所有程序设计语言都是通过上下文无关文法来定义的。另一方面，上下文无关文法...

的（更加复杂）的不收缩文法。 有容易的过程把任何不收缩文法转换成 Kuroda范式。 已知把任何不收缩文法变换成上下文有关文法或反之的过程。 所以，不收缩文法，Kuroda 范式的文法，和上下文有关文法有同样的表达能力。 更精确地说，不收缩文法精确的描述不包含空串的上下文有关语言，而本质不收缩文法精确的描述上下文有关语言的集合。...

在形式文法理论中，适度上下文有关语言是可以有效解析但仍拥有足够的上下文敏感性来允许自然语言的解析的一类形式语言。这个概念是 Aravind Joshi 在1985年首次介入的。 此语言类的形式条件有: 1: 语言必须是在多项式时间内可解析的。 2: 语言必须有恒定增长；这意味着字符串长度的分布应当是...

随機上下文无关文法（英語：Stochastic context-free grammar）即在上下文无关文法中，为每一个产生式规则赋予一个概率，标示应用一个产生式规则的可能性。 上下文有关文法 形式文法 分析表达式文法 随机上下文无关文法...

树-邻接文法(TAG)是 Aravind Joshi 定义的文法形式化。树-邻接（adjoining）文法在某种意义上类似于上下文无关文法，但是基本的重写单位是树而不是符号。上下文无关文法有把符号重写为其他符号的规则，而树-毗连文法有把树的节点重写为其他树的规则。 TAG...

嵌入下推自动机或 EPDA 是分析树-邻接文法(TAG)的计算模型。除了不再使用堆栈来存储符号之外，它类似于分析上下文无关文法的下推自动机。它有存储符号的重复堆栈组成的一个栈，这给予了 TAG 在上下文无关文法和上下文有关文法之间的复杂度，或者说是适度上下文有关文法的子集。 EPDA 最初由 K. Vijay-Shanker...

上下文无关语言是可以用上下文无关文法定义的形式语言。所有上下文无关语言的集合同一于下推自动机所接受的语言的集合。 一个原型上下文无关语言是 L = { a n b n : n ≥ 1 } {\displaystyle L=\{a^{n}b^{n}:n\geq 1\}} ，它是所有非空、偶数长度字符串的语言，字符串的整个前半部分都是...

范式的文法都是单调的，因此生成上下文有关语言。反过来说，所有不生成空串的上下文有关语言都可以被 Kuroda 范式的文法所生成。 巴科斯范式 乔姆斯基范式 Greibach范式 上下文有关文法 形式文法 分析表达式文法 随机上下文无关文法 S.-Y. Kuroda, "Classes of languages and linear-bounded...

附标文法是描述附标语言的形式文法。它们有三个无交集的符号集合: 普通终结符、非终结符和只出现在中间推导中的附标(index)的集合。产生式可以如上下文无关文法那样把一个非终结符替代为终结符和非终结符的字符串，但是它还把非终结符替代为跟随着一个附标的非终结符，把跟随着一个附标的非终结符替代为非终结符。...

可观察出这种文法没有左递归。 所有上下文无关文法口可以被转换成等价的 Greibach 范式的文法。（某些定义不认可第二种形式的规则，在这种情况下能生成空串的上下文无关文法不能被如此转换。）这可以被用来证明所有上下文无关语言可以被非确定下推自动机所接受。 给定 GNF 的一个文法和长度为 n 的符合这个文法...

在形式语言理论中，文法（formal grammar)是形式语言中字符串的一套产生式规则（production rule）。这些规则描述了如何用语言的字母表生成符合句法(syntax)的有效的字符串。文法不描述字符串的含义，也不描述在任何上下文中可以用它们做什么——只描述它们的形式。...

的任何上下文无关文法都可以有效的变换成接受 L - {ε} 的 Chomsky 范式的文法。后者定义的首要好处是证明通常更简单，由于在导出过程中每个步骤都永不减少结果字符串的长度。当然它的缺点是在最初文法生成 ε 就需要特殊考虑。 巴科斯范式 Greibach范式 Kuroda范式 上下文有关文法 形式文法 分析表达式文法...

Wirth语法表示法1977提出的对BNF的一个替代者 Yacc分析器生成器（与Lex预处理器一起使用） ANTLR用Java写的另一个分析器生成器 上下文有关文法 形式文法 分析表达式文法 随机上下文无关文法 本條目部分或全部内容出自以GFDL授權發佈的《自由線上電腦詞典》（FOLDOC）。 Algol-60 BNF, the original...

；它们用附标文法描述并由嵌套堆栈自动机识别 。 附标语言是上下文有关语言的真子集和适度上下文有关语言和上下文无关语言的真子集；它们在并集、串接(concatenation)和Kleene星号下闭合，但在交集和补集下不闭合。Gerald Gazdar 已经依据线性附标语法特征化了适度上下文有关语言。...

线性有界自动机是上下文有关语言的接受器。对这种语言在文法上的唯一限制是没有把字符串映射成更短字符串的产生式。所以在上下文有关语言中没有字符串的推导可以包含比字符串自身更长的句子形式。因为在线性有界自动机和这种文法之间的一一对应，对于要被自动机识别的字符串不需要比原始字符串所占用的更多的磁带。...

文法由此排除了所有包含歧义和左递归的文法。虽然任何一种上下文无关文法都可以转化为没有左递归的等效文法，但是去除了左递归却不一定能够得到 LL(k) 文法。预测性解析器能够在线性时间内运行。 具有回溯的递归下降是一种通过依次尝试生成规则来生成结果的技术。具有回溯的递归下降不限于 LL(k) 文法，但只在文法是...

煤層氣，吸附在煤层中的甲烷气体 构造实体几何，实体建模中使用的技术 可建造策略游戏（英语：Constructible strategy game），桌面策略游戏类型 上下文有关文法，形式语法 玻璃上的结晶硅，参见多晶硅 § 多晶硅的新思路 Haeco-CSG（英语：Haeco-CSG），一种过时的音频信号处理技术 智利手语（英语：Chilean...

bison（Bison意为犎牛；而Yacc与意为牦牛的Yak同音）是一个自由软件，用于自动生成语法分析器程序，实际上可用于所有常见的操作系统。Bison把LALR形式的上下文无关文法描述转换为可做语法分析的C或C++程序。在新近版本中，Bison增加了对GLR语法分析算法的支持。 GNU bison基本兼容Yacc，并做了一些改进。它一般与flex一起使用。...

在理論語言學中，生成文法（英語：generative grammar）是一種嘗試接近句法學（英語：Syntax）的方式 。生成文法嘗試給出一套規則，其能正確的預測，在一個語言中，甚麼樣的詞匯組合能成為正確的句子；而在討論生成文法的同時，這些規則通常也能預測句子中的構詞法。 生成文法...

许多涉及L-systems研究的问题有待解决，比如： 描述所有那些确定的局部连锁的上下文无关L-systems（目前已知完成解决的只有包含两个变量的这一种情况）。 给定一个结构，找出生成此结构的L-systems文法。 维基共享资源上的相关多媒体资源：L系統 David J. Wright's article...

文法關注簡潔性的結果是它有高度非直覺結構，讓人想起當代的“機器語言”(相對於“人類可閱讀的”編程語言)。他精湛的邏輯規則和技術方法在古代和現代語言學中有深遠的影響。 《八篇書》由 3,959 經句或規則構成，分布於八章之中，每章又分為四節或四 pada。 從在文本中的例詞，和依賴於討論上下文...

Parser），將文件片段轉化成剖析樹（Parsing Tree）。剖析樹類似我們閱讀英文時的文法結構，是對文句做語法的分析（例如找出動詞、主詞、受詞），之後再將這些剖析樹與原先欲抽取的模板比對，擷取出有關人事地物的事實出來。 資訊擷取的研究，主要還是針對特定領域的文件進行深度分析，因此過程中還包括詞彙語意標定（Semantic...

语言模型。语言模型对系统所针对的语言进行建模。理论上，包括正则语言，上下文无关文法在内的各种语言模型都可以作为语言模型，但目前各种系统普遍采用的还是基于统计的N元文法及其变体。 解码器。解码器是语音识别系统的核心之一，其任务是对输入的信号，根据声学、语言模型及词典，寻找能够以最大概率输出该信号的词串。...

Form）是表达作为描述计算机编程语言和形式语言的正规方式的上下文无关文法的元语法(metalanguage)符号表示法。它是基本巴科斯范式(BNF)元语法符号表示法的一种扩展。 它最初由尼克劳斯·维尔特开发，最常用的 EBNF 变体由标准，特别是 ISO-14977 所定义。 扩展巴科斯范式是一种表达形式语言文法...

Generation，对抗生成的情境）。 有關BERT在上述自然语言理解任务中為何可以達到先进水平，目前還未找到明確的原因。目前BERT的可解释性研究主要集中在研究精心选择的输入序列对BERT的输出的影响关系，通过探测分类器分析内部向量表示，以及注意力权重表示的关系。 BERT起源于预训练的上下文表示学习，包括半监督序列学习（Semi-supervised...

68的定义使用了阿德里安·范·韦恩加登发明的一种数学形式主义的两级形式文法。Van Wijngaarden文法（英语：Van Wijngaarden grammar）使用分别称为“超规则”和“元产生式规则”的两组上下文无关文法规则，生成形成一个可能无限的产生式集合，而这些常规的产生式将识别特定的ALGOL...

神经语言学——探究语言在大脑中的表述； 理论语言学——考察人类语言的共同规律和普遍特征； 话语分析——这涉及到文本与会话结构和语用，语用是指意义是怎样在综合语言能力，非语言知识与讲话上下文被传达的。 语言学的分支学科則包括： 共时语言学 历时语言学，亦称越时语言学，是一门研究语言变化的学科。 普通语言学与微观语言学 语音学 音系学 词法学...

将表格在MediaWiki标记和HTML之间切换的转换内容。尽管有过创造MediaWiki标记语言规范的尝试，但共识似乎已经达到了维基代码需要上下文有关文法的程度。下面的对比分析展现了维基标记语言与HTML之间的差别。 （语出路易斯·卡罗《爱丽丝梦游仙境》）...

康瓦爾語是印歐語系底下凱爾特語族語言的一員，擁有其他凱爾特語言的許多特徵，包括： 字首子音交替 康瓦爾語的第一個子音會根據上下文的文法產生變化。相對於威爾斯語的三種變化與愛爾蘭語的兩種變化，康瓦爾語共有四種子音交替的變化，分別為軟化（如 b -> v）、硬化（如 b -> p）、氣化（b不變，但...