Formdesign (Czechia)

Unlike structural unification, E-unification of feature structures has, to the best of our knowledge, never been used in natural language processing (NLP). We formalize the concept of E-unification for feature structures, present a universal E-unification procedure and discuss its computational tractability for arbitrary as well as linguistically motivated E-theories. A number of examples illustrate the usefulness of E-unification in the domain of NLP.