A

automata-logic-project2