"From Two-Way to One-Way Finite Automata - Three Regular Expression-Based ..."

Mans Hulden (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics