UNWEIGHTED AND WEIGHTED HYPER-MINIMIZATION

作者：Maletti Andreas^*; Quernheim Daniel

来源：International Journal of Foundations of Computer Science, 2012, 23(6): 1207-1225.

DOI：10.1142/S0129054112400485

• Hyper-minimization
• minimization
• deterministic finite automaton
• weighted automaton
• closure properties
• semifield

Hyper-minimization of deterministic finite automata (DFA) is a recently introduced state. reduction technique that allows a finite change in the recognized language. A generalization of this lossy compression method to the weighted setting over semifields is presented, which allows the recognized weighted language to differ for finitely many input strings. First, the structure of hyper-minimal deterministic weighted finite automata is characterized in a similar way as in classical weighted minimization and unweighted hyper-minimization. Second, an efficient hyper-minimization algorithm, which runs in time O(n log n), is derived from this characterization. Third, the closure properties of canonical regular languages, which are languages recognized by hyper-minimal DFA, are investigated. Finally, some recent results in the area of hyper-minimization are recalled.

• 出版日期2012-9