automata-logic-project2