Tree automaton - PDFSEARCH.IO - Document Search Engine

Tree automaton
Results: 92

#	Item
1	24. Theorietag „Automaten und Formale Sprachen“ Caputh, 23. – 25. September 2014 Henning Bordihn, Bianca Truthe (Hrsg.) Add to Reading List Source URL: fg-afs.gi.de Language: English - Date: 2015-10-19 16:22:16 Formal languages Grammar Language Cognitive science Formal grammar Context-sensitive grammar Tree-adjoining grammar Context-free grammar Regular tree grammar Tree automaton Regular language Graph rewriting
2	Foundations of XML Types: Tree Automata Pierre Genevès CNRS (slides mostly based on slides by W. Martens and T. Schwentick) University of Grenoble Alpes, 2015–2016 Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-12-15 06:39:05 Formal languages Tree automaton Binary tree Tree Regular tree grammar Parity Alphabet Arity Even
3	Average Analysis of Glushkov Automata under a BST-Like Model Cyril Nicaud1 , Carine Pivoteau1 , and Benoît Razet2 1 2 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-12-13 12:13:48 Finite automata Formal languages Regular language Constructible universe Tree automaton Quantum finite automata
4	JFP): 218–283, c Cambridge University Press 2014 ⃝ 218 Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Models of computation Formal languages Pushdown automaton Finite automata Nondeterministic finite automaton Computability Abstract interpretation Context-free language Symbol Nested stack automaton Tree stack automaton
5	PDF Document Add to Reading List Source URL: akira.ruc.dk Language: English - Date: 2014-10-12 12:01:50 Finite automata Tree automaton Tree Formal languages Model checking
6	On the topological complexity of weakly recognizable tree languages Jacques Duparc1 and Filip Murlak2? 1 Universit´e de Lausanne, Switzerland Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2007-06-16 19:01:23 Mathematical logic Mathematics Omega language Tree Wadge hierarchy Determinacy Symbol Regular language Ω-automaton Automata theory Formal languages Theoretical computer science
7	An Automata Model for Trees with Ordered Data Values Tony Tan University of Edinburgh Edinburgh, UK Email: Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Mathematical logic Theoretical computer science Tree automaton Tree Linear temporal logic First-order logic Finite-state machine Context-free grammar T-tree Automata theory Mathematics Formal languages
8	CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2013-05-22 15:22:06 Computer science International Colloquium on Automata Languages and Programming Symposium on Theoretical Aspects of Computer Science Tree automaton Finite-state machine Formal language Hierarchy Automata theory Theoretical computer science Applied mathematics
9	CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2013-05-22 15:22:06 Computer science International Colloquium on Automata Languages and Programming Symposium on Theoretical Aspects of Computer Science Tree automaton Finite-state machine Formal language Hierarchy Automata theory Theoretical computer science Applied mathematics
10	¨ Profile Trees for Buchi Word Automata, with Application to Determinization Seth Fogarty Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-07-18 21:05:22 Ω-automaton Tree Binary tree Mathematics Tree automaton Büchi automaton Automata theory Theoretical computer science Computer science