automata_two_way_determinization (315B)
1 # Automata two way determinization 2 3 It is an [open_problem] if [two_way_automata] can be [automata_determinized] in [PTIME]. 4 - This is related to open problems in [complexity_theory] 5 - cf [kapoutsis2013two]: [sakoda_sipser_conjecture] 6 - cf [hromkovic2003nondeterminism] 7 8 Up: [automata_two_way], [determinization]