ACL RD-TEC 1.0 Summarization of P84-1027
Paper Title:
THE SEMANTICS OF GRAMMAR FORMALISMS SEEN AS COMPUTER LANGUAGES
THE SEMANTICS OF GRAMMAR FORMALISMS SEEN AS COMPUTER LANGUAGES
Authors: Fernando C. N. Pereira and Stuart M. Shieber
Primarily assigned technology terms:
Other assigned terms:
- alphabet
- ambiguity
- approach
- atn formalism
- case
- compile-time
- computational linguists
- conjunct
- context-free grammars
- control agreement principle
- data structures
- decidability
- deductive closure
- definite clause grammars
- denotation
- development foundation
- device
- discipline
- domain theory
- entailment
- entailment relation
- f-structures
- fact
- feature
- feature convention
- feature structure
- feature structures
- finite set
- first order logic
- formal language
- formal language theory
- formalism
- formalisms
- generative capacity
- grammar
- grammar formalism
- grammar formalisms
- grammar rules
- grammars
- head noun
- implementation
- index
- interpretation
- knowledge
- language theory
- lattice
- lexicon
- linguistic
- linguistic information
- linguistics
- linguists
- logic
- mapping
- mappings
- maps
- meaning
- meanings
- metalanguage
- method
- names
- natural-language
- nonterminal
- nonterminals
- noun phrases
- number agreement
- parsing strategy
- phrase
- projection
- proposition
- propositions
- reflexivity
- relation
- rule format
- semantic
- semantic domain
- sentences
- set theory
- substring
- substring table
- subtrees
- symbol
- system development
- terms
- theories
- theory
- transitivity
- tree
- trees
- user
- verb
- vocabulary
- well-formed substring
- well-formed substring table
