Представление конечного автомата в матрично-предикатной форме
Аннотация
Дата поступления статьи: 20.05.2019Конечные автоматы, являясь математической абстракцией, позволяют воспринимать информацию от объекта управления, перерабатывать её и выдавать сигналы для управления объектом. К недостаткам представления сложных производственных систем совокупностью конечных автоматов следует отнести сложность проведении логических и теоретико–множественных операций над ними и сложность описания параллелизма, возникающего в работе сложных производственных систем. При задании конечного автомата в матрично–предикатном виде, благодаря закладываемой информационной избыточности, появляется возможность избежать этих сложностей. Матрично–предикатный метод позволяет однозначно задавать конечный автомат квадратной матрицей, что даёт возможность позволяет использовать при проведении теоретико–множественных операций над ними методы теории матриц и появляется возможность избежать изоморфизма. В работе приведены разработанные методы представления конечного автомата с использованием многоместного предиката, что значительно упрощает его задание.
Ключевые слова: конечный автомат, граф, матрица, предикат, алгоритм, матрично–предикатный метод, инцидентор графа, кортеж, декартово произведение, сложные производственный системы
05.13.06 - Автоматизация и управление технологическими процессами и производствами (по отраслям)
`