标签: chomsky-hierarchy

该标准是否指定了官方C++语法？

我搜索过,但没找到任何地方.

另外,我希望详细阅读一些关于C++语法的内容,比如它所属的语法类别等等.任何指向正确方向的链接都会有所帮助.

按类别,我的意思是

取自这里.

我正在尝试理解四种不同的乔姆斯基语言类型,但我发现的定义并不对我有任何意义.我知道类型0是自由语法,类型1是上下文敏感,类型2是上下文无关,而类型3是常规.所以,有人可以解释一下并将其置于上下文中,谢谢.

我正在尝试学习与编程语言相关的Chomsky Hierarchy的某些方面,我仍然需要阅读Dragon Book.

我读过大多数编程语言都可以解析为无上下文语法(CFG).就计算能力而言,它等于下推非确定性自动机之一.我对吗？

如果这是真的,那么CFG怎么能保持一个不受限制的语法(UG),这是完整的？我问,因为即使编程语言由CFG描述,它们实际上也用于描述图灵机,所以通过UG.

我认为这是因为至少有两个不同的计算级别,第一个,即CFG的解析侧重于与语言结构(表示？)相关的语法,而另一个侧重于语义(意义,解释)数据本身？)与编程语言的功能有关,这是完整的.再次,这些假设是对的吗？

我无法阐明Chomsky类型2(无上下文语言)和Chomsky类型3(常规语言)之间的区别.

有人可以用简单的英语给我一个答案吗？我无法理解整个层次结构的事情.

我正在学习一项离散数学测试,我们正在学习乔姆斯基的层次结构和识别层次结构各个层次的自动机类型.我被教导说大多数计算机语言属于层次结构的"2级和1级",但不是精确的.

我的问题是:

1. 每个级别有哪些功能？

2. 这不过是理论基础吗？我想知道Dennis Ritchie和James Gosling这样的语言设计师在设计C和Java时是否需要考虑这些因素.他们呢？怎么会有人申请这个？

3. 我们被告知图灵机器识别层次结构的0级.如果是这样,是否有任何属于0级的语言功能？我猜这可能是自然语言处理,是吗？

几乎没有任何编程语言的句法语法是规则的，因为它们允许任意深度嵌套的括号。Rust 也这样做：

let x = ((((()))));

但 Rust 的句法语法至少是上下文无关的吗？如果不是，什么元素使语法与上下文相关？或者语法甚至是递归可枚举的，就像C++ 的句法语法一样？

相关：Rust 的词法语法是规则的、上下文无关的还是上下文相关的？

在乔姆斯基的层次结构中，未定义递归语言集。我知道递归语言是递归可枚举语言的子集，并且所有递归语言都是可确定的。

我很好奇的是递归语言与上下文相关语言的比较。我是否可以假定上下文敏感的语言是递归语言的严格子集，因此所有上下文敏感的语言都是可决定的？

大多数编程语言的词汇语法都是非常富有表现力的,以便快速掌握它.我不确定Rust的词汇语法属于什么类别.大多数似乎是常规的,可能除了原始字符串文字:

let s = r##"Hi lovely "\" and "#", welcome to Rust"##;
println!("{}", s);

哪个印刷品:

Hi lovely "\" and "#", welcome to Rust

因为我们可以任意添加许多#,看起来它不能正常,对吧？但语法是否至少没有上下文？或者是否有关于Rust的词汇语法的非上下文自由的东西？

相关:Rust的语法语法是无上下文还是上下文敏感？

在正式语言的乔姆斯基分类中，我需要一些Non-Linear, Unambiguous and also Non-Deterministic上下文无关语言（N-CFL）的例子吗？

1. 线性语言：对于哪些线性文法是可能的（？CFG）例如
   L ₁ = {a ⁿ b ⁿ | ? 0 }

2. 确定性上下文无关语言（D-CFG）：对于哪些确定性下推自动机（D-PDA）是可能的，例如
   L ₂ = {a ⁿ b ⁿ c ^m | ? 0，米？0 }
   L ₂是明确的。

非线性的CF 文法是非线性的。
L _nl = {w: n _a (w) = n _b (w)} 也是一个非线性 CFG。

-- 3. Non-Deterministic Context Free Language(N-CFG) : 对于哪个only Non-Deterministic Push-Down-Automata(N-PDA)是可能的，例如
L ₃ = {ww ^R | ? {a, …

我想解析一种编程语言.我读了很多关于正式语言和Chomsky层次结构和ANTLR的内容.但我无法找到有关如何将ANTLR v3作为LL(*)递归下降解析器接受的语言与chomsky层次结构相关联的信息.

乔姆斯基类型如何与LL(*)混合？任何信息(在线,书籍,论文)都非常感谢.

编辑:ANTLR的语法/语义谓词和回溯如何映射到此？

SQL是上下文无关语言还是其他类型的语言？