Nominal Automata with Name Binding.

Lutz Schröder Dexter Kozen Stefan Milius Thorsten Wißmann

Published in: FoSSaCS (2017)

Keyphrases

cellular automata
probabilistic automata
finite automata
finite state machines
finite state automata
lattice gas
tree automata
database
data sets
knowledge base
finite state
dna binding
formal language theory