Simulating a Turing Machine Using Functional Unification Grammar.

Graeme D. Ritchie

Published in: ECAI (1984)

Keyphrases

turing machine
higher order
artificial intelligence
natural language
theorem proving
context free grammars
database
data sets
real world
knowledge representation
graph grammars