Unification Grammars Nissim Francez* and Shuly Wintner?

摘要

Special attention is paid to reentrancies and cycles, two key issues in the formal and practical understanding of feature structures. Numerous graphical examples illustrate the formal proofs and help to provide the intuition behind the concepts and how they relate to one another.