Generalization of the Double-Reversal Method of Finding a Canonical Residual Finite State Automaton

Hellis Tamm. Generalization of the Double-Reversal Method of Finding a Canonical Residual Finite State Automaton. In Jeffrey Shallit, Alexander Okhotin, editors, Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings. Volume 9118 of Lecture Notes in Computer Science, pages 268-279, Springer, 2015. [doi]

Abstract

Abstract is missing.