Automata Theory And Logical Operator