RUS  ENG
Full version
JOURNALS // Diskretnaya Matematika // Archive

Diskr. Mat., 2020 Volume 32, Issue 2, Pages 44–60 (Mi dm1588)

This article is cited in 1 paper

Conditions of A-completeness for linear automata over dyadic rationals

D. V. Ronzhin

Lomonosov Moscow State University

Abstract: 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.

UDC: 519.716.3

Received: 07.08.2019

DOI: 10.4213/dm1588


 English version:
Discrete Mathematics and Applications, 2021, 31:3, 179–192

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025