Abstrakt. De flesta språköversättningsproblem kan lösas med befintliga LALR(1) eller LL(k) språkverktyg, t.ex. YACC Joh78] eller ANTLR PDC92]. Men det finns språkkonstruktioner som trotsar nästan all tolkningsstrategi som vanligen används. Vissa av dessa konstruktioner kan inte tolkas utan semantik, såsom symboltabellinformation, och vissa kan inte kännas igen ordentligt utan att först undersöka hela konstruktionen, det vill säga vi behöver \in nite lookahead." I detta dokument introducerar vi en ny LL(k) parserstrategi, pred-LL(k), som använder semantiska eller syntaktiska prediker för att känna igen språkkonstruktioner när normal deterministisk LL(k) tolkning bryts ner. Semantiska predikat anger den semantiska giltigheten av att tillämpa en produktion; syntaktiska predikat är grammatiska fragment som beskriver ett syntaktiskt sammanhang som måste tillfredställas innan tillämpning av en tillhörande produktion godkänns. Under hela tiden diskuterar vi genomförandet av predikat i ANTLR en parser generator av Purdue Compiler-Construction Tool Set.
Parr och Quong REF lägger till semantiska och syntaktiska predikat till LL(k) grammatik för att få pred-LL(k) tolkningsstrategi.
Adding Semantic and Syntactic Predicates to LL(k): pred-LL(k)
{'venue': 'In Computational Complexity', 'journal': None, 'mag_field_of_study': ['Computer Science']}