Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2006/12/01 Vol. E89-DNo. 12pp. 2924-2932 Type of Manuscript: PAPER Category: Automata and Formal Language Theory Keyword: formal language, LR parsing, formal semantics, abstract interpretation,