Автоматов Способы Задания

минимизация значений параметров автоматов, приводящая к эквивалентным и в определенном смысле оптимальным автоматам. Задача А. М. Возникает при синтезе автоматов, и ее специфика зависит от подхода к их изучению. При макроподходе минимизируют, как правило, число состояний автоматов, получая минимальные, или приведенные, автоматы. Специфика отыскания приведенных автоматов связана с формой задания автоматов и типа их поведения. Так, если в качестве поведения автомата конечного, заданного, напр...

специальные подмножества заданного класса Мавтоматов, на к-ром определено нек-рое множество операций со значениями в М. Эти подмножества обладают следующим основным свойством (свойством полноты). Множество всех автоматов, к-рые получаются путем конечного числа применений операций из к автоматам из заданного подмножества совпадает с М. Задача о том, обладает ли множество свойством полноты или нет, наз. Проблемой полноты (п. П.) для автоматов. Эта проблема изучена для различных моделей автом..

- раздел теории управляющих систем, изучающий математич. Модели преобразователей дискретной информации, называемые автоматами. С определенной точки зрения такими преобразователями являются как реальные устройства (вычислительные машины, автоматы, живые организмы и т. Д.), так и абстрактные системы (математич. Машины, аксиоматич. Теории и т. Д.). А. Т. Возникла в сер. 20 в. В связи с изучением автоматов конечных, как математич. Моделей нервных систем, и вычислительных машин. В дальнейшем класс о..

отношение эквивалентности на множестве автоматов, возникающее в связи с изучением тех или иных содержательных свойств автоматов. Обычно таким свойством является автоматов поведение, так что два автомата считаются эквивалентными, если они имеют одинаковое поведение. При этом в качестве поведения автомата, как правило, рассматривается система функций, реализуемых автоматом (см. Автомат конечный). Для конечных автоматов такое отношение эквивалентности разрешимо, и потому существует алгоритм миним..