A new algorithm of the state-minimization for the nondeterministic finite automata |
| |
Authors: | B. F. Melnikov |
| |
Affiliation: | 1. Department of Mechanics and Mathematics, Simbirsk State University, L.Tolstoy str., 42, 432700, Simbirsk (Ulyanovsk), Russia
|
| |
Abstract: | The problem of the state-minimization for the nondeterministic finite Rabin-Scott’s automata is considered. A new algorithm for this problem is obtained. The obtained algorithm has the exponential effectiveness, like the earlier-known algorithms for this problem. But each of previous algorithms amounts to the search of minimum generative system for local reaction of equal automaton of canonical form, and unlike them, we use in this paper two special functions, marking states of the given automaton. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|