Protected: Two-Way Finite State Automaton Non-Emptiness Enter your password to view comments. This content is password protected. To view it please enter your password below: Password: