Conditions of A-completeness for linear automata over dyadic rationals
Diskretnaya Matematika, Tome 32 (2020) no. 2, pp. 44-60
Voir la notice de l'article provenant de la source Math-Net.Ru
We consider the problem of $A$-completeness in the class of linear automata such that the sets of inputs, outputs and states are Cartesian products of dyadic rationals; systems checked for completeness are comprised of a variable finite set and a fixed additional set. We obtain conditions of $A$-completeness in terms of maximal subclasses in the cases when the additional set is the set of all unary automata and when the additional set consists of the adder.
Keywords:
finite automata, linear automata, dyadic rationals, $A$-completeness, maximal subclasses.
@article{DM_2020_32_2_a3,
author = {D. V. Ronzhin},
title = {Conditions of {A-completeness} for linear automata over dyadic rationals},
journal = {Diskretnaya Matematika},
pages = {44--60},
publisher = {mathdoc},
volume = {32},
number = {2},
year = {2020},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DM_2020_32_2_a3/}
}
D. V. Ronzhin. Conditions of A-completeness for linear automata over dyadic rationals. Diskretnaya Matematika, Tome 32 (2020) no. 2, pp. 44-60. http://geodesic.mathdoc.fr/item/DM_2020_32_2_a3/