Skip to content
two-way deterministic finite automaton · Vinony