2

这是一个 QML 语法（摘自https://github.com/kropp/intellij-qml/blob/master/grammars/qml.bnf）：

/* identifier, value, integer and float are terminals */

qml ::= object  /* Simplified */

object ::= type body
body ::= '{' (property_definition|signal_definition|attribute_assignment|method_attribute)* '}'
type ::= 'double'|'real'|identifier

attribute_assignment ::= (attribute ':')? attribute_value ';'?
item ::= list|object|string|boolean|number|identifier|value
attribute_value ::= method_call|method_body|item|value+

property_definition ::= 'default'? 'readonly'? 'property' ('alias'|'var'|type) property (':' attribute_value)?
signal_definition ::= 'signal' signal ('(' (signal_parameter ',')* signal_parameter? ')')?
signal_parameter ::= ('var'|type) parameter

method_attribute ::= 'function' method '(' (parameter ',')* parameter? ')' method_body

method_call ::= method '(' (argument ',')* argument? ')'

method_body ::= '{' javascript '}'
javascript ::= ('{' javascript '}'|'var'|'['|']'|'('|')'|','|':'|';'|string|identifier|number|value)*

list ::= '[' item? (',' item)* ']'

property ::= identifier
attribute ::= identifier
signal ::= identifier
parameter ::= identifier
method ::= identifier
argument ::= string|boolean|number|identifier|value

number ::= integer|float
boolean ::= 'true'|'false'

是 LALR(1) 吗？我的程序为包含冲突项的闭包 I[n] 引发了减少/减少冲突：

// other items here...
[item ::= identifier . , {]  // -> ACTION[n, {] = reduce to item  
[type ::= identifier . , {]  // -> ACTION[n, {] = reduce to type  
// other items here...
4

1 回答 1

3

笔记：

以下答案是根据问题中提供的信息编写的。碰巧的是，QML 的实际实现只接受名称以大写字母开头的类型的用户声明，而属性名称必须以小写字母开头。（许多内置类型的名称也以小写字母开头。因此，在词法扫描中根据首字母将标识符分为两类并不那么简单。内置类型和关键字仍然需要公认的。）

不幸的是，我还没有找到一个明确的 QML 语法，甚至没有一个正式的语法描述。上面的评论基于Qt 的 QML Reference。

感谢@mishmashru让我注意到以上内容。

语法是模棱两可的，因此解析器生成器正确识别减少/减少冲突。

特别是，考虑从语法中提取的以下简化产生式，其中大多数替代方案已被删除以关注冲突：

body ::= '{' attribute_assignment* '}'
attribute_assignment ::= attribute_value
attribute_value ::= method_body | item
method_body ::= '{' javascript '}'
item ::= object | identifier
object ::= type body
type ::= identifier

现在，考虑body哪个开始

{ x {

我们假设解析器刚刚看到x并且现在正在查看第二个{，以找出要采取的操作。

If是一个普通标识符（无论“普通”是什么意思，x那么它可以解析为，item这是attribute_value.{method_bodyattribute_value

另一方面，如果x是 a type，那么我们正在查看 a object，它开始于type body。在那种情况下，第二个{是内部的开始body。

所以解析器需要决定是直接makex成attribute_valuea还是make成a type。此时无法做出决定，因为{前瞻令牌没有提供足够的信息。

所以很明显语法不是LR(1)。

如果不了解有关问题域的更多信息，就很难给出好的建议。如果可以通过查阅符号表来区分identifier和type，那么您可以通过使用某种词汇反馈来解决这个问题。

于 2019-12-12T15:13:41.590 回答