A

automata-logic-project1