Continuous One-Counter Automata.

Michael Blondin Tim Leys Filip Mazowiecki Philip Offtermatt Guillermo A. Pérez

Published in: LICS (2021)

Keyphrases

cellular automata
finite state
finite automata
database
web services
regular expressions
finite state automata