<--- Back to Details
First PageDocument Content
Tree automaton / Omega language / Regular language / Deterministic automaton / Ω-automaton / Büchi automaton / Automata theory / Theoretical computer science / Computer science
Date: 2008-12-09 11:42:04
Tree automaton
Omega language
Regular language
Deterministic automaton
Ω-automaton
Büchi automaton
Automata theory
Theoretical computer science
Computer science

On Deciding Topological Classes of Deterministic Tree Languages Filip Murlak ?

Add to Reading List

Source URL: www.mimuw.edu.pl

Download Document from Source Website

File Size: 196,02 KB

Share Document on Facebook

Similar Documents

Formal languages / Mathematical analysis / Mathematics / Theoretical computer science / Symbol / Omega language / Constructible universe / Regular language / Star height / Linear temporal logic / Differential forms on a Riemann surface

Classifying Regular Languages by a Split Game Qiqi Yan∗ BASICS Laboratory, Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200240, Shanghai, P.R. China

DocID: 1qHjy - View Document

Finite automata / Formal languages / Theoretical computer science / -automaton / Omega language / Regular language / Muller automaton / Constructible universe / Symbol / DFA minimization / Mathematics / Omega-regular language

Learning Regular Omega Languages Dana Angluin1? and Dana Fisman2?? 1 2

DocID: 1ohPd - View Document

Combinatorics on words / Geometric group theory / Formal languages / Group theory / Hyperbolic geometry / Hyperbolic group / Presentation of a group / Omega language / Cayley graph / Structure / KnuthBendix completion algorithm / Context-sensitive grammar

PDF Document

DocID: 1iI4O - View Document

Mathematical logic / Mathematics / Omega language / Tree / Wadge hierarchy / Determinacy / Symbol / Regular language / Ω-automaton / Automata theory / Formal languages / Theoretical computer science

On the topological complexity of weakly recognizable tree languages Jacques Duparc1 and Filip Murlak2? 1 Universit´e de Lausanne, Switzerland

DocID: 1guzu - View Document

Tree automaton / Omega language / Regular language / Deterministic automaton / Ω-automaton / Büchi automaton / Automata theory / Theoretical computer science / Computer science

On Deciding Topological Classes of Deterministic Tree Languages Filip Murlak ?

DocID: 1aAMh - View Document