A Formal Theory of Simulations Between Infinite Automata.

Paul Loewenstein

Published in: TPHOLs (1992)

Keyphrases

formal theory
belief update
regular languages
commonsense reasoning
cellular automata
spatial reasoning
numerical simulations
regular expressions
feature selection
simulation environment
grammatical inference
object recognition
simulation model