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