Login / Signup
Nominal Automata with Name Binding.
Lutz Schröder
Dexter Kozen
Stefan Milius
Thorsten Wißmann
Published in:
CoRR (2016)
Keyphrases
</>
cellular automata
probabilistic automata
finite state machines
finite automata
finite state
tree automata
lattice gas
regular expressions
formal language theory
genetic algorithm
markov chain
data model
artificial neural networks
turing machine
relational databases
expert systems
search algorithm