|
This article is cited in 1 scientific paper (total in 1 paper)
Efficient recognition of the completeness of a system of automaton functions with a complete Boolean part
D. N. Babin
Abstract:
We consider automaton bases with complete Boolean part.
We construct an algorithm to test completeness of such bases
and give upper bounds for its complexity.
Received: 11.10.2002
Citation:
D. N. Babin, “Efficient recognition of the completeness of a system of automaton functions with a complete Boolean part”, Diskr. Mat., 15:1 (2003), 110–130; Discrete Math. Appl., 13:1 (2003), 63–84
Linking options:
https://www.mathnet.ru/eng/dm188https://doi.org/10.4213/dm188 https://www.mathnet.ru/eng/dm/v15/i1/p110
|
Statistics & downloads: |
Abstract page: | 370 | Full-text PDF : | 205 | References: | 43 | First page: | 1 |
|