Equivalence of regular languages: an algorithmic approach and complexity analysis. PhD thesis, Faculdade de Ciências das Universidade do (2011)

by Marco Almeida