Büchi context-free languages
type: Item
instance of: scholarly article
title: Büchi context-free languages
zbMATH Open document ID: 1206.68171
author: Zoltán Ésik
author: Szabolcs Iván
published in: Theoretical Computer Science
publication date: 2011-02-21T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5853813
zbMATH Keywords: context-free languages
zbMATH Keywords: countable words
zbMATH Keywords: Büchi acceptance condition
zbMATH Keywords: Müller acceptance condition
MaRDI profile type: Publication
full work available at URL: j.tcs.2010.11.026
OpenAlex ID: W1989510068
cites work: Finite automata and ordinals
cites work: Logic and Rational Languages of Words Indexed by Linear Orderings
cites work: Developments in Language Theory
cites work: Long words: The theory of concatenation and \(\omega\)-power
cites work: Q4454841
cites work: Axiomatizing omega and omega-op powers of words
cites work: The equational theory of regular words
cites work: Q4187327
cites work: Automata on linear orderings
cites work: Weak Second‐Order Arithmetic and Finite Automata
cites work: Q5525343
cites work: The monadic second order theory of all countable ordinals
cites work: Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes
cites work: Theory of \(\omega\)-languages. I: Characterizations of \(\omega\)-context- free languages
cites work: Q4198080
cites work: Tree acceptors and some of their applications
cites work: LINEAR LANGUAGES OF FINITE AND INFINITE WORDS
cites work: Context-Free Languages of Countable Words
cites work: Q4179852
cites work: Q3871942
cites work: Q4168081
cites work: Q5317419
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: $ℵ_0$-categoricity of linear orderings
cites work: Q5678435
cites work: Q4714446
cites work: Generalized finite automata theory with an application to a decision problem of second-order logic
cites work: On frontiers of regular trees
cites work: Q4385530
cites work: Q3216154
cites work: Q3691083
DOI: 10.1016/J.TCS.2010.11.026
description: scientific article; zbMATH DE number 5853813