Untwisting two-way transducers in elementary time.

Félix Baschenis Olivier Gauwin Anca Muscholl Gabriele Puppis

Published in: LICS (2017)

Keyphrases

finite automata
database
databases
real world
np hard
natural language processing
set theory
finite state automata