我目前正在考虑用Java实现所示的语言。演示文稿有点长,但它本质上是一种用于创建动态语音的DSL。object ExampleRule say "Text"}
我已经研究了不同的解析器生成器,如ANTLR、JavaCC和JFlex,但我想知道是否只使用StringTokenizer/Scanner并使用我自己<e
在构造演算中提取西格玛的第二个元素。此外,似乎没有一种已知的、简单的方法可以在不失去一致性的情况下扩展具有相依消除的构造演算。因此,如何利用一个简单的但不一致的公理(例如Type : Type或不受限制的递归(如μ) )来提取Sigma的第二个元素?也就是说,给定以下Sigma构造函数: λ A : *
λ B : A -