Решить 3 задания по Математической логике

Задание 1
Для автомата, заданного таблицей, выполнить задания:
1. постройте диаграмму КА
2. определите задание КА булевыми функциями
3. определите задание КА каноническими уравнениями.
Задание 2
Для данного конечного автомата, заданного таблично, с множеством внутренних состояний {1,2,3,4,5,6,7,8,9}, входным алфавитом {а,Ь} и выходным алфавитом {х,у}
1. Выяснить, является ли автомат сильно связным.
2. Построить эквивалентный минимальный автомат.
3. Проверить работу исходного и минимального автоматов над словом "bbabaab".
1. Построить таблицу состояний автомата, осуществляющего автоматное отображение ? в ?
2. Провести минимизацию с помощью треугольной матрицы, проверить работу полученного автомата над словом ?.