A formal system for the specification of the syntax and translation of computer languages.
John J. DonovanHenry F. LedgardPublished in: AFIPS Fall Joint Computing Conference (1967)
Keyphrases
- formal languages
- formal language
- specification languages
- operational semantics
- formal specification
- target language
- statistical machine translation
- knowledge representation languages
- query translation
- natural language
- context free grammars
- formal methods
- machine translation
- language resources
- language constructs
- high level
- precisely defined
- machine translation system
- expressive power
- requirements specification
- highly expressive
- source language
- linguistic resources
- formal semantics
- computer programs
- constraint language
- bilingual dictionaries
- comparable corpora
- cross lingual
- reactive systems
- machine processable
- computer systems
- parallel corpora
- cross language information retrieval
- syntactic analysis
- word order
- computer technology
- language independent
- structured queries
- definition language
- formal model
- language identification
- knowledge base
- description logics