From diagnosis of active systems to incremental determinization of finite acyclic automata
Gianfranco Lamperti, Michele Scandale · AI Communications · 2013
A non-functional requirement for model-based diagnosis of active systems is efficient determinization of acyclic automata. In literature, determinization of finite automata is performed by the Subset Construction algorithm (SC): given a nondeterminis