ACL RD-TEC 1.0 Summarization of P97-1060

Other assigned terms:

• alphabet
• approach
• automata
• axioms
• binary tree
• case
• constraint logic
• decidability
• denotation
• derivation
• derivation process
• description language
• disjunction
• empty tree
• existential quantification
• existential quantifier
• fact
• feature
• feature structures
• first order logic
• forest
• formalism
• formalisms
• formalization
• generation
• generation process
• grammar
• grammar formalisms
• grammars
• grammatical theory
• homomorphism
• implementation
• interpretation
• interpreter
• knowledge
• labeling
• language processing applications
• lexical entry
• lexicon
• linguist
• linguistic
• linguistic theories
• linguistics
• logic
• mapping
• mappings
• natural language
• natural language processing applications
• negation
• parse
• parse forest
• parse tree
• parsing problem
• phrase
• phrase structure
• phrase structure grammar
• predicates
• procedure
• process
• projection
• prolog code
• prototype implementation
• quantifier
• recursive clause
• relation
• science literature
• subtree
• subtrees
• symbol
• symbols
• syntax
• technique
• term
• terms
• theorem
• theories
• theory
• tree
• tree automata
• tree automaton
• trees
• words