是否在Yacc中定義了約簡的順序？

Question

這比一個實際的問題更像是一個「原則上」的問題。是Yacc減少生產的順序，並從定義的詞法分析器中讀取新的標記。也就是說，如果我有以下設置令牌：

INTEGER_BEGIN 
INTEGER_VALUE 
LESS_THAN 
INTEGER_BEGIN 
INTEGER_VALUE 

能Yacc的，它的語義中，讀取來自詞法分析器的LESS_THAN令牌，它給定一組作品的降低INTEGER BEGIN INTEGER_VALUE前一個單一的東西，：

expr : expr LESS_THAN expr 
    | integer 

integer : INTEGER_BEGIN INTEGER_VALUE 

如果這些變化是通過語義動作定義的，請執行此更改的規則嗎？

Answer 1

是的，它可以。 Yacc創建一個LALR（1）解析器 - （1）意味着先行令牌 - 所以它可以在減少該規則之前先讀取超過令牌末尾的1個令牌。語義動作的存在是無關緊要的，因爲語義動作只是在減少規則之前運行的一些C代碼。

請注意，不能保證它總是預讀令牌。由yacc或bison創建的解析器有時使用「默認縮減」 - 指出它可以減少規則的位置，而不必先讀取下一個標記。只要減少規則與下一個標記無關，就會發生這種情況。

在這個特定的例子中，integer規則可以使用默認的縮減，所以它可能會在沒有前瞻的情況下減少它，但是也不能保證 - 默認減少是一些（但不是全部） YACC。