Syntax Directed Translations and the Pushdown Assembler.
Alfred V. AhoJeffrey D. UllmanPublished in: J. Comput. Syst. Sci. (1969)
Keyphrases
- model checking
- machine translation
- high level
- natural language
- bilingual dictionaries
- multi agent
- precisely defined
- definition language
- predicate calculus
- operational semantics
- query translation
- real time
- bayesian networks
- three dimensional
- knowledge base
- artificial intelligence
- learning algorithm
- information retrieval
- machine learning