Optimizing Automata Academic Project for University Course - Theory of Languages and Automata Optimizes input automata and illustrates resulting automata