В данной статье мы использовали полутензорное произведение матриц и алгебраические методы для изучения управляемости, достижимости и устойчивости расширенного конечного автомата. Во-первых, мы построили модель двухлинейной динамической системы расширенного конечного автомата в качестве основы для дальнейших исследований. Во-вторых, на основе этой модели двухлинейной динамической системы мы получили теоремы об управляемости, достижимости и устойчивости модели двухлинейной динамической системы для расширенного конечного автомата. Наконец, мы разработали алгоритм для определения управляемости и устойчивости расширенного конечного автомата. Через вычислительные примеры была проверена правильность основных результатов.

полутензорное произведение; метод матриц; алгебраический метод; система конечных значений