![Ω-automaton / Nondeterministic finite automaton / Muller automaton / Finite-state machine / Alternating finite automaton / Sequence / Powerset construction / Automata theory / Theoretical computer science / Computer science Ω-automaton / Nondeterministic finite automaton / Muller automaton / Finite-state machine / Alternating finite automaton / Sequence / Powerset construction / Automata theory / Theoretical computer science / Computer science](https://www.pdfsearch.io/img/5c37ecb669d8acc600e11c14e74b81e6.jpg)
| Document Date: 2012-05-29 10:55:56 Open Document File Size: 670,01 KBShare Result on Facebook
Facility University of Kiel Contents Introduction / Prof. Dr. Wolfgang Thomas Institute of Computer Science / / Organization Wolfgang Thomas Institute of Computer Science / / Person Thomas Wilke / Wolfgang Thomas / Rabin / / Position supervisor / Christof L¨oding Supervisor / / ProgrammingLanguage L / /
SocialTag |