Разработка программы, которая автоматически минимизирует конечные
автоматы.

(Можно на Delphi или на C++)