Conditions of A-completeness for linear automata over dyadic rationals

Abstract

Рассматривается задача об $A$-полноте конечных систем автоматов с добавками в классе линейных автоматов, у которых в качестве алфавита состояний, входного и выходного алфавитов выступают декартовы произведения множества двоично-рациональных чисел. В терминах предполных классов описываются условия $A$-полноты для систем, содержащих все одноместные автоматы и конечную добавку, а также конечных систем, содержащих сумматор.