Muller automaton - PDFSEARCH.IO - Document Search Engine

Muller automaton
Results: 32

#	Item
1	Session F2C NON-DETERMINISM IN CS HIGH-SCHOOL CURRICULA Michal Armoni 1 and Judith Gal-Ezer 2 Abstract - One of the units in the relatively new high school CS curriculum which is being implemented in Israel is a Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2009-03-16 13:56:00 Finite automata Automata theory Nondeterministic finite automaton Deterministic automaton Theoretical computer science Finite-state machine Deterministic finite automaton Computability Regular language NP Muller automaton Bchi automaton
2	Learning Regular Omega Languages Dana Angluin1? and Dana Fisman2?? 1 2 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-09-03 16:14:08 Finite automata Formal languages Theoretical computer science -automaton Omega language Regular language Muller automaton Constructible universe Symbol DFA minimization Mathematics Omega-regular language
3	PII: Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 16:37:08 Finite automata Timed automaton Muller automaton Deterministic automaton Finite-state machine Regular language Nondeterministic finite automaton Alphabet Automata theory -automaton
4	PDF Document Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:35:49 Finite automata Theoretical computer science Mathematics Muller automaton Automata theory
5	Universit¨at des Saarlandes Naturwissenschaftlich-Technische Fakult¨at 1 Fachrichtung Informatik Bachelor-Studiengang Informatik Bachelor’s Thesis Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-29 06:47:38 Applied mathematics Tree automaton Finite-state machine Alternating finite automaton Powerset construction Formal language Muller automaton Automata theory Theoretical computer science Computer science
6	Tighter Bounds for the Determinisation of Bu hi Automata? Sven S hewe University of Liverpool sven.s heweliverpool.a .uk Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2011-03-14 06:40:19 Ω-automaton Mathematics Automaton Applied mathematics Tree Infinite tree automaton Muller automaton Automata theory Computer science Tree automaton
7	Efficient Inclusion Testing for Simple Classes of Unambiguous ω-Automata Dimitri Isaaka , Christof L¨odinga a Informatik 7, RWTH Aachen, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 11:02:30 Ω-automaton Deterministic finite automaton Tree automaton Nondeterministic finite automaton Omega language Sequence Muller automaton Büchi automaton Automata theory Theoretical computer science Computer science
8	Toward a structure theory of ω-regular trace languages Namit Chaturvedi LaBRI, Bordeaux 11 Mar. 2014 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-03-17 08:01:44 Büchi automaton Muller automaton Regular language Constructible universe Ordinal number Ω-automaton Complementation of Büchi automaton Automata theory Theoretical computer science Computer science
9	Toward a structure theory of ω-regular trace languages Namit Chaturvedi Frontiers of Recognizability 29 Apr. 2014 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-04-30 05:42:23 Büchi automaton Muller automaton Regular language Constructible universe Ordinal number Ω-automaton Complementation of Büchi automaton Automata theory Theoretical computer science Computer science
10	Microsoft Word - ijita12-4.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:05 Models of computation Nondeterministic finite automaton Vector space Muller automaton Ω-automaton Algebra Automata theory Mathematics