Аннотация:Рассматривается класс конечных автоматов, вычисляющих линейные функции над кольцом дискретного нормирования, состоящего из рациональных чисел, знаменатели которых не делятся на 2. Для этого класса получен алгоритм проверки полноты конечных систем по операциям композиции.