A Formal Theory of Simulations between Infinite Automata.

Paul Loewenstein

Published in: Formal Methods Syst. Des. (1993)

Keyphrases

formal theory
belief update
regular languages
spatial reasoning
finite state
lattice gas
grammatical inference
cellular automata
finite state machines
mathematical models
simulation models
simulation model
finite automata
numerical simulations
model checking
qualitative spatial reasoning
video sequences