Automata on Inifinite Trees Christof L¨oding Lehrstuhl Informatik 7 RWTH Aachen[removed]Aachen, Germany email: [removed] - Alternating finite automaton - Document - PDFSEARCH.IO

First Page	Meta Content
	Automata on Inifinite Trees Christof L¨oding Lehrstuhl Informatik 7 RWTH Aachen[removed]Aachen, Germany email: [removed] Add to Reading List Document Date: 2012-05-29 10:55:51 Open Document File Size: 272,57 KB Share Result on Facebook City Aachen / / Country Germany / United Kingdom / / / IndustryTerm important tool / / Person Adam / Rabin / Eva / / Position player / / ProvinceOrState Virginia / / Technology Adam / simulation / / SocialTag Ω-automaton Muller automaton Alternating tree automata Tree automaton Alternating finite automaton Nondeterministic finite automaton Deterministic automaton Finite-state machine Parity game Automata theory

Automata on Inifinite Trees Christof L¨oding Lehrstuhl Informatik 7 RWTH Aachen[removed]Aachen, Germany email: [removed]Add to Reading List