Going Beyond Turing with P Automata: Partial Adult Halting and Regular Observer ω-Languages.

Rudolf Freund, Sergiu Ivanov, Ludwig Staiger

Browse the full UC paper archive.