Automata Theory Based on Quantum Logic: Recognizability and Accessibility