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