О ПРИМЕНЕНИИ КОНЕЧНЫХ АВТОМАТОВ К ИССЛЕДОВАНИЮ РАЗРЕШИМОСТИ ТЕОРИИ С ОПЕРАТОРОМ ФИКСИРОВАННОЙ ТОЧКИ (2016)