Cost Automata, Safe Schemes, and Downward Closures.

David Barozzini Lorenzo Clemente Thomas Colcombet Pawel Parys

Published in: CoRR (2020)

Keyphrases

cellular automata
regular expressions
finite automata
cost sensitive
real world
search engine
finite state
transitive closure
expected cost
minimal cost