Решить задачу на Python

1. Задан конечный автомат M=( { A, B,C ,D , E,F} ,{0,1} ,δ , A ,{E, F}) с функцией переходов δ ( A,0)=B , δ ( B,0)=E , δ (C ,0)=A , δ ( D ,0)=F , δ ( E,0)=D , δ ( F ,0)=D , δ ( A,1)=C , δ ( B,1)=F , δ (C ,1)=A , δ ( D ,1)=E , δ ( E,1)=F , δ ( F ,1)=E . Нарисуйте данный автомат, найдите для него автомат с минимальным числом состояний. Проверьте работу автомата в Python.

2. Пусть определена грамматика G( {a, b, c },{ S,B,C}, P,S ) , P: S→aSBC|abC , CB→BC , bB→bb , bC→bc , cC→cc . Возможен ли вывод aabbcc . К какому типу относится эта грамматика?

3. Для автомата, изображенного на рисунке, постройте леволинейную грамматику. Проверьте работу грамматики в Python.