Решение проблемы единственности при идентификации автомата конечным фрагментом поведения. Основная характеристика структуризации следов и введения определенных числовых параметров. Главная особенность решения важнейших задач теории дискретных систем.
Поскольку динамика поведения системы описывается в терминах изменения ее состояний, минимальность реализации системы должна подразумевать минимальность самого пространства состояний; в теории автоматов реализация автомата считается минимальной, если минимальна мощность его пространства состояний (множества состояний автомата). Задачи идентификации непосредственно связаны с проблемой синтеза (восстановления диаграммы переходов [2]) автомата, заданного некоторым описанием его поведения или условиями функционирования, обладающего заранее определенными свойствами. Целью работы является изучения отношения «автомат - информация о поведении автомата», позволяющего описать внутреннюю структуру автомата (например, диаграмму переходов [2]) с заданной степенью точности. Так как проблема структурной идентификации автомата непосредственно связана с единственностью представления автомата посредством информации о поведения, то следует более подробно рассмотреть возможность и условия единственности восстановления автомата, заданного (конечной) информацией о его поведении. Таким образом, в рамках теории автоматов задача идентификации внутренней структуры автомата формулируется следующим образом: по заданному автомату и имеющийся информации о его поведении, определить условия, налагаемые как на автомат, так и на заданное поведение, позволяющие идентифицировать автомат на основании предложенного поведения.Один из путей решения проблемы единственности при идентификации автомата конечным фрагментом поведения является уточнение свойств автомата (неприводимость относительно реализации фрагмента поведения) и уточнение с дополнением информации, относительно фрагмента поведения (структуризация следов и введение определенных числовых параметров), которые позволят согласно принципу единственности [1] идентифицировать автомат конечным фрагментом его поведения.
Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность своей работы
