automata-logic-project1