Ω-automaton - PDFSEARCH.IO - Document Search Engine

Ω-automaton
Results: 90

#	Item
31	Regularity Problems for Weak Pushdown ω-Automata and Games Extended VersionChristof L¨oding and Stefan Repke⋆ Lehrstuhl f¨ ur Informatik 7, RWTH Aachen, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-09-03 08:07:06 Formal languages Computer science Deterministic pushdown automaton Ω-automaton Pushdown automaton Omega language Nondeterministic finite automaton Context-free language Regular language Automata theory Theoretical computer science Models of computation
32	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
33	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
34	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
35	Parameterized Verification of Communicating Automata under Context Bounds Benedikt Bollig1 , Paul Gastin1 , and Jana Schubert2 1 LSV, ENS Cachan & CNRS {bollig,gastin}@lsv.ens-cachan.fr Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-09-19 10:50:53 Ω-automaton Automata theory Tree automaton Nondeterministic finite automaton
36	Mathcad - 6.4_Disp_Harm_Osc_2 Add to Reading List Source URL: www.chemistry2011.org Language: English - Date: 2013-03-09 18:24:43 Mathematics Theoretical computer science Omega language Ω-automaton Ordinal number Automata theory Mathematical analysis
37	Regular Expressions for Data Words Leonid Libkin and Domagoj Vrgoˇc School of Informatics, University of Edinburgh Abstract. In data words, each position carries not only a letter form a finite alphabet, as the usual wo Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-04 06:54:58 Mathematics Combinatorics String Regular language Regular expression Symbol Ω-automaton Formal languages Automata theory Theoretical computer science
38	Static Analysis and Query Answering for Incomplete Data Trees with Constraints Am´elie Gheerbrant1,2 , Leonid Libkin1 , and Juan Reutter1,3 1 School of Informatics, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-12-13 04:59:45 Tree XML Model theory Decomposition method Ω-automaton Computing Automata theory Tree automaton
39	Distributing Frequency-Dependent Data Stream Computations ∗ Sumit Ganguly † Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:31:51 Abstract algebra Combinatorics Permutation Streaming algorithm Ω-automaton Theoretical computer science Computability theory Computer science Normal distribution Mathematics Algorithms Automata theory
40	Regular tree language recognition with static information Alain Frisch D´epartement d’Informatique ´ Ecole Normale Sup´erieure, Paris, France Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:27 Ω-automaton Automata theory Symbol Tree automaton

UPDATE