Абстрактный синтез конечного автомата
...которые распознают входные слова, т.е. отвечают на вопрос, принадлежит ли поданное на вход слово данному множеству. 2. Автоматы-преобразователи, которые преобразуют входные слова в выходные, т.е. реализуют автоматные отображения.