Lambda-Confluence Is Undecidable for Clearing Restarting Automata.

Frantisek Mráz Friedrich Otto

Published in: CIAA (2013)

Keyphrases

cellular automata
regular expressions
sufficient conditions
probabilistic automata
np complete
finite automata
fixed point
finite state
lattice gas
tree automata
databases
datalog programs
finite state machines
finite state automata
lambda calculus
formal languages