Study of Congruence Relation Based on Minimization Theory of FA

郭凯红,李文立
DOI: https://doi.org/10.3969/j.issn.1001-3695.2009.05.042
2009-01-01
Abstract:Studied minimization theory of finite automata(FA) and proposed the existence of congruence relation,which was much closer than equivalence relation,between minimized automata M′ and original one M proposed.Proved the existence of congruence relation between M′ and M by constructing the corresponding algebraic system respectively.Experiment results show the significance of congruence relation for system-simplified description,and it provides the necessary theoretical basis for disclosing the deeply internal relationship between original system and reduction one.
What problem does this paper attempt to address?