Minimization and Characterizations for Biautomata
Markus Holzer, Sebastian Jakobi · Fundamenta Informaticae · 2015
We show how to minimize biautomata with adaptations of classical minimization algorithms for ordinary deterministic finite automata and moreover by a Brzozowski-like minimization algorithm by applying reversal and power-set construction twice to the