Теория автоматов

1. Проверить эквивалентность двух заданных конечных автоматов-распознавателей с 4-5 состояниями.
2. Минимизировать заданный конечный автомат-распознаватель с 8 состояниями.
3. По заданному недетерминированному конечному автомату с 6 состояниями построить эквивалентный детерминированный конечный автомат.
4. По заданному конечному автомату с 4-5 состояниями построить регулярное выражение, задающее распознаваемый автоматом язык, и обратно, восстановить автомат по построенному регулярному выражению. Проверить эквивалентность исходного и полученного автоматов.