Infinite Traces and Symbolic Dynamics.

Wit Forys Piotr Oprocha

Published in: Theory Comput. Syst. (2009)

Keyphrases

dynamical systems
dynamic model
high level
symbolic representation
symbolic description
databases
decision trees
data structure
finite dimensional
binary decision diagrams
finite sets