Markus Holzer, Sebastian Jakobi
From Equivalence to Almost-Equivalence, and beyond: Minimizing Automata with Errors
DLT, 2013.
@article{DLT-J-2012-HolzerJ13,
author = "Markus Holzer and Sebastian Jakobi",
doi = "10.1142/S0129054113400327",
journal = "{International Journal of Foundations of Computer Science}",
number = 7,
pages = "1083--1098",
publisher = "{World Scientific}",
title = "{From Equivalence to Almost-Equivalence, and beyond: Minimizing Automata with Errors}",
volume = 24,
year = 2013,
}