我想知道 C# 和 Java 语法是否是 LALR(x)？如果是，x 的值是多少？
编辑:
接受真答案后，我觉得Q改成这样比较好:
是否有任何 LALR(x) 解析器可以解析当前版本的 Java(版本 7)或 C#(版本 4)？如果是，x 的值是多少？
最佳答案
如果不首先为一种语言指定特定的语法，你就不能问这个问题，因为有些语法可能是，有些可能不是。
也许您指的是最近 Java 规范中发布的 Java 语法。您是指 Java 7 吗？
我不确定您是否可以为 C# 指定特定的语法，至少不是来自 Microsoft 的语法，尤其是对于 C# 4.0；我不相信他们已经出版了语法。
我可以告诉你，我不认为 C# 可以是 LALR(x)，因为它有一些元素看起来像标识符，但在某些上下文中可以是关键字。这要求词法分析器知道解析器期望什么来决定一个类似标识符的标记是一个关键字，还是只是一个标识符。因此必须有从解析器到词法分析器的反馈，或者词法分析器必须产生两个标记并将它们传递给解析器以决定它想要哪个。 LALR 解析器是在 token 流上定义的，没有任何反馈，并且每个输入 token 只有一种解释。
我也不认为 Java 是从 Java 1.5 及更高版本开始的，当时 enum 是作为一种具有自己关键字的特殊类型引入的。这是因为，要让 Java 1.5 编译器处理现有的使用 enum 作为变量名的 Java 1.4 程序，enum 在某些上下文中必须被视为关键字，并且作为其他变量名。因此，Java 1.5 解析器与 C# 存在相同的问题。
实际上，没有真正的语言是 LALR(1) [第一版 Java 可能是个异常(exception)]，任何构建真正的解析器(尤其是 LALR)的人都必须进行某种破解才能解决这个问题。 (GCC 以使用 LALR 解析器解析 C++ 和糟糕的符号表很长一段时间而闻名，因此它可以区分作为变量的标识符和作为 typedef 实例的标识符之间的区别。它现在有某种手工实现的递归下降解析器，但我认为可怕的 hack 仍然存在)。所以我不确定回答你的问题的值(value)。
我们的 C# 4.0 and Java 7 members of our family of language front ends两者都使用 GLR 解析器解析语言，扩展了反馈功能，以及处理同一标记的两种解释的能力。 GLR 使 LALR(x) 的问题没有实际意义，反馈和多种解释也让我们能够处理许多超出纯 GLR 能力的语言。
编辑:经过一番思考，可能有一种非常丑陋的方式让两种语法都处理它们的上下文关键字。我们以 Java 的枚举为例。实际上必须有语法规则:
type = 'enum' '{' enum_members '}' ;
但我们还需要允许“枚举”作为标识符。我们可以通过替换终端 token 来做到这一点 带有非终结符的标识符:
identifier = IDENTIFIER | 'enum' ;
并坚持标识符是由词法分析器产生的终端。现在至少词法分析器不必决定如何处理enum；解析器会。但是你指定的语法必须像这样才能有机会成为 LALR(x)。
我们的解析器过去常常这样做，以允许某些关键字有时用作标识符。我们如前所述更改了解析引擎，不再这样做。
关于c# - C# 和 Java 语法是 LALR(x) 吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/8378521/
我脑子里浮现出一些关于一种新编程语言的想法，所以我想我会尝试实现它。一位friend建议我尝试使用Treetop(Rubygem)来创建一个解析器。Treetop的文档很少，我以前从未做过这种事情。我的解析器表现得好像有一个无限循环，但没有堆栈跟踪；事实证明很难追踪到。有人可以指出入门级解析/AST指南的方向吗？我真的需要一些列出规则、常见用法等的东西来使用像Treetop这样的工具。我的语法分析器在GitHub上，以防有人希望帮助我改进它。class{initialize=lambda(name){receiver.name=name}greet=lambda{IO.puts("He
所以我在关注Railscast，我注意到在html.erb文件中，ruby代码有一个微弱的背景高亮效果，以区别于其他代码HTML文档。我知道Ryan使用TextMate。我正在使用SublimeText3。我怎样才能达到同样的效果？谢谢! 最佳答案 为SublimeText安装ERB包。假设您安装了SublimeText包管理器*，只需点击cmd+shift+P即可获得命令菜单，然后键入installpackage并选择PackageControl:InstallPackage获取包管理器菜单。在该菜单中，键入ERB并在看到包时选择
我真的很习惯使用Ruby编写以下代码:my_hash={}my_hash['test']=1Java中对应的数据结构是什么？ 最佳答案 HashMapmap=newHashMap();map.put("test",1);我假设？ 关于java-等价于Java中的RubyHash，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.com/questions/22737685/
在Ruby类中，我重写了三个方法，并且在每个方法中，我基本上做同样的事情:classExampleClassdefconfirmation_required?is_allowed&&superenddefpostpone_email_change?is_allowed&&superenddefreconfirmation_required?is_allowed&&superendend有更简洁的语法吗？如何缩短代码？ 最佳答案 如何使用别名？classExampleClassdefconfirmation_required?is_a
如何在ruby中调用C#dll？ 最佳答案 我能想到几种可能性:为您的DLL编写(或找人编写)一个COM包装器，如果它还没有，则使用Ruby的WIN32OLE库来调用它；看看RubyCLR,其中一位作者是JohnLam，他继续在Microsoft从事IronRuby方面的工作。(估计不会再维护了，可能不支持.Net2.0以上的版本)；正如其他地方已经提到的，看看使用IronRuby，如果这是您的技术选择。有一个主题是here.请注意，最后一篇文章实际上来自JohnLam(看起来像是2009年3月)，他似乎很自在地断言RubyCL
我正在尝试在Ruby中复制Convert.ToBase64String()行为。这是我的C#代码:varsha1=newSHA1CryptoServiceProvider();varpasswordBytes=Encoding.UTF8.GetBytes("password");varpasswordHash=sha1.ComputeHash(passwordBytes);returnConvert.ToBase64String(passwordHash);//returns"W6ph5Mm5Pz8GgiULbPgzG37mj9g="当我在Ruby中尝试同样的事情时，我得到了相同sha
可能已经问过了，但我找不到它。这里有2个常见的情况(对我来说，在编程Rails时......)用ruby编写是令人沮丧的:"astring".match(/abc(.+)abc/)[1]在这种情况下，我得到一个错误，因为字符串不匹配，因此在nil上调用[]运算符。我想找到的是比以下内容更好的替代方法:temp="astring".match(/abc(.+)abc/);temp.nil??nil:temp[1]简而言之，如果不匹配，则简单地返回nil而不会出错第二种情况是这样的:var=something.very.long.and.tedious.to.writevar=some
我正在尝试使用boilerpipe来自JRuby。我看过guide从JRuby调用Java，并成功地将它与另一个Java包一起使用，但无法弄清楚为什么同样的东西不能用于boilerpipe。我正在尝试基本上从JRuby中执行与此Java等效的操作:URLurl=newURL("http://www.example.com/some-location/index.html");Stringtext=ArticleExtractor.INSTANCE.getText(url);在JRuby中试过这个:require'java'url=java.net.URL.new("http://www
我正在学习Ruby的基础知识(刚刚开始)，我遇到了Hash.[]method.它被引入a=["foo",1,"bar",2]=>["foo",1,"bar",2]Hash[*a]=>{"foo"=>1,"bar"=>2}稍加思索，我发现Hash[*a]等同于Hash.[](*a)或Hash.[]*一个。我的问题是为什么会这样。是什么让您将*a放在方括号内，是否有某种规则可以在何时何地使用“it”？编辑:我的措辞似乎造成了一些困惑。我不是在问数组扩展。我明白了。我的问题基本上是:如果[]是方法名称，为什么可以将参数放在括号内？这看起来几乎——但不完全是——就像说如果你有一个方法Foo.d
我只想对我一直在思考的这个问题有其他意见，例如我有classuser_controller和classuserclassUserattr_accessor:name,:usernameendclassUserController//dosomethingaboutanythingaboutusersend问题是我的User类中是否应该有逻辑user=User.newuser.do_something(user1)oritshouldbeuser_controller=UserController.newuser_controller.do_something(user1,user2)我