Ω-automaton - PDFSEARCH.IO - Document Search Engine

Ω-automaton
Results: 90

#	Item
21	Tableaux with Automata (Extended Abstract) Oliver Friedmann and Martin Lange Dept. of Computer Science, University of Munich, Germany 1 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:21 Mathematical logic Method of analytic tableaux Ω-automaton Tree automaton Modal μ-calculus Modal logic Formal language Well-formed formula Deterministic automaton Logic Automata theory Mathematics
22	SMT-Based Synthesis of Distributed Systems∗ Bernd Finkbeiner Sven Schewe Universität des Saarlandes Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:35:50 Automata theory Symbol Ω-automaton
23	Languages vs. ω-Languages in Regular Infinite Games Namit Chaturvedi? , Jörg Olschewski?? , and Wolfgang Thomas Lehrstuhl Informatik 7, RWTH Aachen University, Germany {chaturvedi,olschewski,thomas}@automata.rwth-aache Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 11:02:51 Formal languages Computer science Theory of computation Ω-automaton Omega language Büchi automaton Symbol Determinacy Regular language Automata theory Mathematics Theoretical computer science
24	Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt ICON’2008 Tutorial, Pune, DecemberAbstract. We give a quick presentation of the X-machines of Eilenberg, a generalisa Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-12-14 19:37:35 Computer science Formal methods Deterministic finite automaton Nondeterministic finite automaton Finite-state machine X-machine Non-deterministic Turing machine Ω-automaton Finite state transducer Models of computation Automata theory Theoretical computer science
25	Regular Real Analysis Swarat Chaudhuri Rice University Sriram Sankaranarayanan Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-04-26 17:57:31 Models of computation Theoretical computer science Functions and mappings Calculus Ω-automaton Finite state transducer Continuous function Derivative Computability Automata theory Mathematics Mathematical analysis
26	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
27	FREE WILL—EVEN FOR ROBOTS John McCarthy Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:13:58 Finite-state machine Nondeterministic finite automaton Computer chess Robot Chess Ω-automaton Automata theory Models of computation Games
28	languages of infinite traces and deterministic asynchronous automata Namit Chaturvedi November 06, 2013 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-11-18 06:29:48 Applied mathematics Büchi automaton Regular language Formal language Regular expression Ω-automaton Automata theory Theoretical computer science Computer science
29	On ω-Regular Trace Languages Classification and Synthesis Namit Chaturvedi and Marcus Gelderie GAMES 2012 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-09-07 05:30:52 Independence Computer science Applied mathematics Mathematics Automata theory Ω-automaton Regular language
30	4. Computability on the Real Numbers Real numbers are the basic objects in analysis. For most non-mathematicians a real number is an infinite decimal fraction, for example π = 3•Mathematicians prefer to Add to Reading List Source URL: www.fernuni-hagen.de Language: English - Date: 2009-09-05 02:33:58 Symbol Computable number Group representation Automata theory Representation theory of finite groups Ω-automaton Abstract algebra Mathematics Representation theory

UPDATE