Конструирование автоматов - Automata construction
 | Эта статья не цитировать любой источники. (Май 2019) (Узнайте, как и когда удалить этот шаблон сообщения) |
В теория автоматов, строительство автоматов - важный математический метод, используемый для демонстрации существования автомата с определенным желаемым свойством. Очень часто его представляют как алгоритм который принимает желаемое свойство в качестве входных данных и производит в качестве выходных автомат с этим свойством.
Многие сложные задачи теории автоматов связаны с поиском правильной конструкции автомата, позволяющей найти ответ на проблему. Например, известное сооружение в г. Теорема Макнотона ответил на вопрос, если недетерминированный Büchi автомат всегда можно перевести в детерминированный Автомат Мюллера.
Пример
Конструкция Powerset алгоритм построения детерминированный конечный автомат из данного недетерминированный конечный автомат.
Оптимальность конструкции
Конструкция автомата называется оптимальный если есть вход в конструкцию, такой, что не существует автомата, удовлетворяющего желаемому свойству, с меньшей сложностью размера, чем выход конструкции.