Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 7-Day Trial for You or Your Team.

Learn More →

Determinization and minimization of finite acyclic automata by incremental techniques

Determinization and minimization of finite acyclic automata by incremental techniques The determinization of a nondeterministic finite automaton (FA) N is the process of generating a deterministic FA (DFA) D equivalent to (sharing the same regular language of) N. The minimization of D is the process of generating the minimal DFA ℳ equivalent to D. Classical algorithms for determinization and minimization are available in the literature for several decades. However, they operate monolithically, assuming that the FA to be either determinized or minimized is given once and for all. By contrast, we consider determinization and minimization in a dynamic context, where N augments over time: after each augmentation, determinization and minimization of N into ℳ is required. Using classical monolithic algorithms to solve this problem is bound to poor performance. An algorithm for incremental determinization and minimization of acyclic finite automata, called IDMA, is proposed. Despite being conceived within the narrow domain of model‐based diagnosis and monitoring of active systems, the algorithm is general‐purpose in nature. Experimental evidence indicates that IDMA is far more efficient than classical algorithms in solving incremental determinization and minimization problems. Copyright © 2015 John Wiley & Sons, Ltd. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Software: Practice and Experience Wiley

Determinization and minimization of finite acyclic automata by incremental techniques

Download PDF
37 pages

Loading next page...
 
/lp/wiley/determinization-and-minimization-of-finite-acyclic-automata-by-o27h0OYsbf

References (55)

Publisher
Wiley
Copyright
Copyright © 2016 John Wiley & Sons, Ltd.
ISSN
0038-0644
eISSN
1097-024X
DOI
10.1002/spe.2309
Publisher site
See Article on Publisher Site

Abstract

The determinization of a nondeterministic finite automaton (FA) N is the process of generating a deterministic FA (DFA) D equivalent to (sharing the same regular language of) N. The minimization of D is the process of generating the minimal DFA ℳ equivalent to D. Classical algorithms for determinization and minimization are available in the literature for several decades. However, they operate monolithically, assuming that the FA to be either determinized or minimized is given once and for all. By contrast, we consider determinization and minimization in a dynamic context, where N augments over time: after each augmentation, determinization and minimization of N into ℳ is required. Using classical monolithic algorithms to solve this problem is bound to poor performance. An algorithm for incremental determinization and minimization of acyclic finite automata, called IDMA, is proposed. Despite being conceived within the narrow domain of model‐based diagnosis and monitoring of active systems, the algorithm is general‐purpose in nature. Experimental evidence indicates that IDMA is far more efficient than classical algorithms in solving incremental determinization and minimization problems. Copyright © 2015 John Wiley & Sons, Ltd.

Journal

Software: Practice and Experience – Wiley

Published: Apr 1, 2016

Keywords: ; ; ;

There are no references for this article.