The concept of metagrammar has been introduced to factor-ize information contained in a grammar. A metagrammar compiler can then be used to compute an actual grammar from a metagrammar. In this paper, we present a new metagrammar compiler based on 2 important concepts from logic programming, namely (1) the Warren's Abstract Machine and (2) constraints on finite set.
展开▼
