blocks|key|842064|text|来自维基百科|type|unstyled|depth|inlineStyleRanges|entityRanges|offset|length|data|842065|上下文无关文法的流行表示法是巴克斯-诺尔形式。|blockquote|842066|…正如正则表达式是普通语法的表示法一样。|842067|entityMap|0|LINK|mutability|MUTABLE|url|https://en.wikipedia.org/wiki/Context-free_grammar|1|https://en.wikipedia.org/wiki/Backus-Naur_Form^0|2|4|0|0|E|8|1|0|0^^$0|@$1|2|3|4|5|6|7|S|8|@]|9|@$A|T|B|U|1|V]]|C|$]]|$1|D|3|E|5|F|7|W|8|@]|9|@$A|X|B|Y|1|Z]]|C|$]]|$1|G|3|H|5|6|7|10|8|@]|9|@]|C|$]]|$1|I|3|-4|5|6|7|11|8|@]|9|@]|C|$]]]|J|$K|$5|L|M|N|C|$O|P]]|Q|$5|L|M|N|C|$O|R]]]]

From <a href="https://en.wikipedia.org/wiki/Context-free_grammar" rel="nofollow">Wikipedia Context Free Grammar</a>:

<blockquote>
 a popular notation for context-free grammars is <a href="https://en.wikipedia.org/wiki/Backus-Naur_Form" rel="nofollow">Backus–Naur Form</a>
</blockquote>

…just as regexes are a notation for regular grammars.

blocks|key|842085|text|事实上，答案可能仍然是"Regex“。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|842086|现代的regex方言，特别是那些支持递归的方言(如PHP、Perl、.NET、JGSoft等)+完美地处理上下文无关的语言。。|offset|length|842087|entityMap|0|LINK|mutability|MUTABLE|url|https://stackoverflow.com/a/11382641/20670^0|0|1C|E|0|0^^$0|@$1|2|3|4|5|6|7|N|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|O|8|@]|9|@$D|P|E|Q|1|R]]|A|$]]|$1|F|3|-4|5|6|7|S|8|@]|9|@]|A|$]]]|G|$H|$5|I|J|K|A|$L|M]]]]

Actually, the answer could still be "Regex". 

Modern regex dialects, specifically those that support recursion (like PHP, Perl, .NET, JGSoft and others) <a href="https://stackoverflow.com/a/11382641/20670">can handle context-free languages perfectly</a>.

blocks|key|842163|text|现代编程语言本身在很大程度上是由上下文无关语法描述的。虽然理论上短语结构语法是最强大的(英语就是一个例子)，但是对于用计算机解决问题，上下文无关文法和强大的记忆模型(变量)是足够的。接受这些上下文无关语言的程序是现代语言解析器。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|842164|示例语言BNF|842165|Pascal的BNF|unordered-list-item|offset|length|842166|用于Ruby的BNF|842167|BNF用于Javascript|842168|用于Python的BNF|842169|BNF+for+Java|842170|用于C的BNF|842171|由于BNF是上下文无关的，可以自动生成解析器，当然，最著名的例子是雅克+--自创建野牛以来，其他的例子都是为创建gcc而创建的。现在有许多解析器生成器，其输出是用一种流行语言编写的解析器。|842172|entityMap|0|LINK|mutability|MUTABLE|url|http://www2.informatik.uni-halle.de/lehre/pascal/sprache/pas_bnf.html|1|http://www.cse.buffalo.edu/%257Eregan/cse305/RubyBNF.pdf|2|http://tomcopeland.blogs.com/EcmaScript.html|3|http://inst.eecs.berkeley.edu/%257Ecs164/fa11/python-grammar.html|4|http://cs.au.dk/%257Eamoeller/dRegAut/JavaBNF.html|5|http://www.cs.man.ac.uk/%257Epjj/bnf/c_syntax.bnf|6|http://en.wikipedia.org/wiki/Yacc|7|http://www.gnu.org/software/bison/|8|http://en.wikipedia.org/wiki/Comparison_of_parser_generators^0|0|0|0|A|0|0|0|A|1|0|0|F|2|0|0|C|3|0|0|C|4|0|0|7|5|0|X|2|6|15|2|7|1X|6|8|0^^$0|@$1|2|3|4|5|6|7|1I|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|1J|8|@]|9|@]|A|$]]|$1|D|3|E|5|F|7|1K|8|@]|9|@$G|1L|H|1M|1|1N]]|A|$]]|$1|I|3|J|5|F|7|1O|8|@]|9|@$G|1P|H|1Q|1|1R]]|A|$]]|$1|K|3|L|5|F|7|1S|8|@]|9|@$G|1T|H|1U|1|1V]]|A|$]]|$1|M|3|N|5|F|7|1W|8|@]|9|@$G|1X|H|1Y|1|1Z]]|A|$]]|$1|O|3|P|5|F|7|20|8|@]|9|@$G|21|H|22|1|23]]|A|$]]|$1|Q|3|R|5|F|7|24|8|@]|9|@$G|25|H|26|1|27]]|A|$]]|$1|S|3|T|5|6|7|28|8|@]|9|@$G|29|H|2A|1|2B]|$G|2C|H|2D|1|2E]|$G|2F|H|2G|1|2H]]|A|$]]|$1|U|3|-4|5|6|7|2I|8|@]|9|@]|A|$]]]|V|$W|$5|X|Y|Z|A|$10|11]]|12|$5|X|Y|Z|A|$10|13]]|14|$5|X|Y|Z|A|$10|15]]|16|$5|X|Y|Z|A|$10|17]]|18|$5|X|Y|Z|A|$10|19]]|1A|$5|X|Y|Z|A|$10|1B]]|1C|$5|X|Y|Z|A|$10|1D]]|1E|$5|X|Y|Z|A|$10|1F]]|1G|$5|X|Y|Z|A|$10|1H]]]]

Modern programming languages themselves are for the most part described by context free grammars. Although theoretically phrase structured grammars are the most powerful (English is an example), it has been found that for solving problems with computers context free grammars in combination with a powerful memory model (variables) are sufficient. The programs that accept these context free languages are the modern language parsers.
<h3>Some example language BNF</h3>
<ul>
<li><a href="http://www2.informatik.uni-halle.de/lehre/pascal/sprache/pas_bnf.html" rel="nofollow noreferrer">BNF for Pascal</a></li>
<li><a href="http://www.cse.buffalo.edu/%7Eregan/cse305/RubyBNF.pdf" rel="nofollow noreferrer">BNF for Ruby</a></li>
<li><a href="http://tomcopeland.blogs.com/EcmaScript.html" rel="nofollow noreferrer">BNF for Javascript</a></li>
<li><a href="http://inst.eecs.berkeley.edu/%7Ecs164/fa11/python-grammar.html" rel="nofollow noreferrer">BNF for Python</a></li>
<li><a href="http://cs.au.dk/%7Eamoeller/dRegAut/JavaBNF.html" rel="nofollow noreferrer">BNF for Java</a></li>
<li><a href="http://www.cs.man.ac.uk/%7Epjj/bnf/c_syntax.bnf" rel="nofollow noreferrer">BNF for C</a></li>
</ul>
Given the BNF is context free, a parser can be generated automatically, the original and most famous example is of course <a href="http://en.wikipedia.org/wiki/Yacc" rel="nofollow noreferrer">Yacc</a> others have been created since with <a href="http://www.gnu.org/software/bison/" rel="nofollow noreferrer">Bison</a> being invented for the creation of gcc. There are now a host of <a href="http://en.wikipedia.org/wiki/Comparison_of_parser_generators" rel="nofollow noreferrer">parser generators</a> whose output is a parser written in one of the popular languages.

blocks|key|1120776|text|这个问题的措辞有一个问题，它指的是语法而不是languages。|type|unstyled|depth|inlineStyleRanges|offset|length|style|BOLD|entityRanges|data|1120777|正规语言是一种可以在集合上定义的、具有联合、连接和闭包操作的对象。正则表达式和正则文法都是表示常规语言的方便方法。|1120778|上下文自由语言的特点是它被定义为--+语境自由语法接受的语言，因此OP问题的答案是语言类别定义本身。|1120779|entityMap|0|LINK|mutability|MUTABLE|url|http://en.wikipedia.org/wiki/Regular_language|1|http://en.wikipedia.org/wiki/Regular_expression|2|http://en.wikipedia.org/wiki/Regular_grammar|3|http://en.wikipedia.org/wiki/Context_free_language|4|http://en.wikipedia.org/wiki/Context-free_grammar^0|M|9|0|0|4|0|X|5|1|13|4|2|0|G|2|0|7|3|J|6|4|0^^$0|@$1|2|3|4|5|6|7|Z|8|@$9|10|A|11|B|C]]|D|@]|E|$]]|$1|F|3|G|5|6|7|12|8|@]|D|@$9|13|A|14|1|15]|$9|16|A|17|1|18]|$9|19|A|1A|1|1B]]|E|$]]|$1|H|3|I|5|6|7|1C|8|@$9|1D|A|1E|B|C]]|D|@$9|1F|A|1G|1|1H]|$9|1I|A|1J|1|1K]]|E|$]]|$1|J|3|-4|5|6|7|1L|8|@]|D|@]|E|$]]]|K|$L|$5|M|N|O|E|$P|Q]]|R|$5|M|N|O|E|$P|S]]|T|$5|M|N|O|E|$P|U]]|V|$5|M|N|O|E|$P|W]]|X|$5|M|N|O|E|$P|Y]]]]

There's a problem with the phrasing of the question, in that it refers to grammars instead of to languages.

A <a href="http://en.wikipedia.org/wiki/Regular_language" rel="nofollow">Regular Language</a> is one that can be defined over sets with the operations of union, concatenation, and closure. Both <a href="http://en.wikipedia.org/wiki/Regular_expression" rel="nofollow">Regular Expressions</a> and <a href="http://en.wikipedia.org/wiki/Regular_grammar" rel="nofollow">Regular Grammars</a> are convenient ways to represent Regular Languages.

The thing with <a href="http://en.wikipedia.org/wiki/Context_free_language" rel="nofollow">Context Free Language</a> is that it is defined as the language accepted by a <a href="http://en.wikipedia.org/wiki/Context-free_grammar" rel="nofollow">Context Free Grammar</a>, so the answer to the OP's question is within the language category definition itself.

I have just learned that <code>Regular Grammars</code> have their corresponding <code>Finite State Acceptors</code> which will correspond to <code>Regular Expressions</code>.

Is there an equivalent conversion with <code>Context Free Grammars</code>? As far as I know Context Free Grammars can be represented by <code>Push Down Automata</code> which in turn would correspond to what?

Thanks to anyone who would clear my mind off of this.

Regex is for Regular Grammars as to ____ is for Context Free Grammars

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云AI代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

功能1上新10个字符

功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符。

功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符。

功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符

功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符

功能4上新

文章&问答评论现已支持表情

全新交互，全新视觉，新增快捷键、悬浮工具栏、高亮块等功能并同时优化现有功能，全面提升创作效率和体验

社区富文本编辑器全新改版！诚邀体验～ 

精选全网热门MCP server，让你的AI更好用 🚀

💥开发者 MCP广场重磅上线！

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

我刚刚了解到，Regular Grammars有相应的Finite State Acceptors，这将对应于Regular Expressions。是否有与Context Free Grammars等效的转换？据我所知，上下文无关语法可以用Push Down Automata来表示，而这又对应于什么呢？感谢那些能让我摆脱这一切的人。

问Regex用于普通语法，而____用于上下文无关语法
EN

回答 4

Stack Overflow用户

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问Regex用于普通语法，而____用于上下文无关语法EN

回答 4

Stack Overflow用户

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问Regex用于普通语法，而____用于上下文无关语法
EN