Login / Signup
The CAVA Automata Library.
Peter Lammich
Published in:
Arch. Formal Proofs (2014)
Keyphrases
</>
cellular automata
finite automata
finite state
regular expressions
real time
neural network
three dimensional
probabilistic automata
digital libraries
multiresolution
finite state machines
tree automata
finite state automata
lattice gas
formal language theory