Yacc'da azaltma sırası tanımlandı mı?

Question

Bu pratik prensiplerden çok “prensipte” bir sorudur. Yacc'ın yapımları azalttığı düzen ve tanımlanan lexer'dan yeni tokenler okunuyor. Ben simgeler dizisinden aşağıdaki olsaydı bildirilir:

INTEGER_BEGIN 
INTEGER_VALUE 
LESS_THAN 
INTEGER_BEGIN 
INTEGER_VALUE 

neye yapımları bir dizi göz önüne alındığında, tek şeye INTEGER BEGIN INTEGER_VALUE azaltır önce Yacc, onun semantik içinde, lexer gelen LESS_THAN belirteci okuyabilir:

expr : expr LESS_THAN expr 
    | integer 

integer : INTEGER_BEGIN INTEGER_VALUE 

Bunlar anlamsal eylemlerle tanımlanmışsa, bu değişiklik için kurallar uygulanıyor mu?

Answer 1

Evet yapabilir. Yacc bir LALR (1) ayrıştırıcısı oluşturur - (1) lookahead'in 1 belirteci anlamına gelir - bu nedenle bu kuralı azaltmak için bir kural için belirteçlerin sonunu geçen 1 jetonu okuyabilir. Anlamsal eylemler, bir kuralı azaltmak için hemen önce çalıştırmak için sadece bazı C kodu olduğundan, anlamsal eylemlerin varlığı ilgisizdir.

HER ZAMAN okuduğunu belirten bir garanti olmadığına dikkat edin. Yacc veya bison tarafından oluşturulan ayrıştırıcı bazen 'varsayılan indirimleri' kullanır - bir sonraki işareti ilk önce okumak zorunda olmayan bir kuralı azaltabileceği durumlar. Bir kuralın azaltılması, bir sonraki belirteçten bağımsız olduğunda gerçekleşir.

Bu özel örnekte, integer kuralı için varsayılan bir azaltma kullanılabilir; bu nedenle, onu bulmaksızın düşürebilir, ancak yine de bir garanti yoktur; varsayılan indirimler, bazı (ancak tümü değil) uygulamaların kullandığı bir optimizasyondur. yacc.