The DFAs of Finitely Different Languages

Andrew Badr,Ian Shipman
DOI: https://doi.org/10.48550/arXiv.cs/0702053
2007-02-09
Abstract:Two languages are "finitely different" if their symmetric difference is finite. We consider the DFAs of finitely different regular languages and find major structural similarities. We proceed to consider the smallest DFAs that recognize a language finitely different from some given DFA. Such "f-minimal" DFAs are not unique, and this non-uniqueness is characterized. Finally, we offer a solution to the minimization problem of finding such f-minimal DFAs.
Computational Complexity
What problem does this paper attempt to address?