Infinite tree automaton - PDFSEARCH.IO - Document Search Engine

Infinite tree automaton
Results: 7

#	Item
1	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
2	Two-Way Cost Automata and Cost Logics over Infinite Trees Achim Blumensath TU Darmstadt Thomas Colcombet Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-01-20 11:11:33 Mathematics Ω-automaton Finite-state machine Alphabet Sequence Muller automaton Infinite tree automaton Automata theory Theoretical computer science Computer science
3	INFINITE GRAPHS GENERATED BY TREE REWRITING Von der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:56 Graph Deterministic pushdown automaton Nested word Graph theory Mathematics Theoretical computer science
4	Algorithms for Guided Tree Automata Morten Biehl1 , Nils Klarlund2 , and Theis Rauhe1 1 BRICS, Department of Computer Science, University of Aarhus, Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:46:59 Mathematics Binary decision diagram Tree automaton Nondeterministic finite automaton Deterministic finite automaton Tree traversal Binary tree Tree Infinite tree automaton Automata theory Theoretical computer science Computer science
5	Logic and Automata over Infinite Trees Der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Hochschule Aachen Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:56 Formal languages Combinatorics on words Mathematical logic Models of computation Linear temporal logic Finite-state machine Tree automaton Parity game Alphabet Automata theory Mathematics Theoretical computer science
6	Recognizing safety and liveness Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-13 15:44:12 Computer science Büchi automaton Finite-state machine Powerset construction Infinite tree automaton Ω-automaton Automata theory Theoretical computer science Models of computation
7	Untitled Add to Reading List Source URL: acl.ldc.upenn.edu Language: English - Date: 2002-06-11 09:19:54 Applied mathematics Trie Finite-state machine Algorithm Regular language Büchi automaton Infinite tree automaton Automata theory Theoretical computer science Computer science