An abstract machine theory for formal language parsers.

David B. Benson

Published in: Category Theory Applied to Computation and Control (1974)

Keyphrases

formal language
abstract machine
formal languages
formal semantics
natural language interface
data model
software engineering
machine learning
natural language
natural language processing
software development
text classification
logic programming