Methods for the Transformation of ω-Automata: Complexity and Connection to Second Order Logic Diploma Thesis (Revised Version) Christof L¨oding Supervisor: Prof. Dr. Wolfgang Thomas - Alternating finite automaton - Document - PDFSEARCH.IO

First Page	Meta Content
	Methods for the Transformation of ω-Automata: Complexity and Connection to Second Order Logic Diploma Thesis (Revised Version) Christof L¨oding Supervisor: Prof. Dr. Wolfgang Thomas Add to Reading List Document Date: 2012-05-29 10:55:56 Open Document File Size: 670,01 KB Share 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 Ω-automaton Nondeterministic finite automaton Muller automaton Finite-state machine Alternating finite automaton Sequence Powerset construction Automata theory Theoretical computer science Computer science

Methods for the Transformation of ω-Automata: Complexity and Connection to Second Order Logic Diploma Thesis (Revised Version) Christof L¨oding Supervisor: Prof. Dr. Wolfgang ThomasAdd to Reading List