other,0-1-P86-1038,ak of the two <term> formalisms </term> . <term> Unification-based grammar formalisms </term> use <term> structures </term> containing
other,4-1-P86-1038,ak Unification-based grammar formalisms </term> use <term> structures </term> containing sets of <term> features </term>
other,8-1-P86-1038,ak structures </term> containing sets of <term> features </term> to describe <term> linguistic objects
other,11-1-P86-1038,ak of <term> features </term> to describe <term> linguistic objects </term> . Although <term> computational algorithms
tech,1-2-P86-1038,ak linguistic objects </term> . Although <term> computational algorithms </term> for <term> unification of feature structures
tech,4-2-P86-1038,ak computational algorithms </term> for <term> unification of feature structures </term> have been worked out in experimental
tech,17-2-P86-1038,ak out in experimental research , these <term> algorithms </term> become quite complicated , and a
other,28-2-P86-1038,ak and a more precise description of <term> feature structures </term> is desirable . We have developed
model,4-3-P86-1038,ak is desirable . We have developed a <term> model </term> in which descriptions of <term> feature
other,9-3-P86-1038,ak model </term> in which descriptions of <term> feature structures </term> can be regarded as <term> logical formulas
tech,15-3-P86-1038,ak structures </term> can be regarded as <term> logical formulas </term> , and interpreted by sets of <term>
tech,23-3-P86-1038,ak </term> , and interpreted by sets of <term> directed graphs </term> which satisfy them . These <term> graphs
tech,1-4-P86-1038,ak graphs </term> which satisfy them . These <term> graphs </term> are , in fact , <term> transition graphs
tech,7-4-P86-1038,ak <term> graphs </term> are , in fact , <term> transition graphs </term> for a special type of <term> deterministic
tech,14-4-P86-1038,ak graphs </term> for a special type of <term> deterministic finite automaton </term> . This <term> semantics </term> for <term>
other,1-5-P86-1038,ak deterministic finite automaton </term> . This <term> semantics </term> for <term> feature structures </term>
other,3-5-P86-1038,ak </term> . This <term> semantics </term> for <term> feature structures </term> extends the ideas of Pereira and
other,26-5-P86-1038,ak for values which are specified by <term> disjunctions </term> and <term> path values </term> embedded
other,28-5-P86-1038,ak specified by <term> disjunctions </term> and <term> path values </term> embedded within <term> disjunctions
other,32-5-P86-1038,ak <term> path values </term> embedded within <term> disjunctions </term> . Our interpretation differs from
hide detail