MSO-definable Properties of Muller Context-Free Languages Are Decidable - Descriptional Complexity of Formal Systems (DCFS 2016) Access content directly
Conference Papers Year : 2016

MSO-definable Properties of Muller Context-Free Languages Are Decidable

Szabolcs Iván
  • Function : Author
  • PersonId : 1022733

Abstract

We show that it is decidable given an MSO-definable property P of countable words and a Muller context-free grammar G, whether every word in the language generated by G satisfies P.
Fichier principal
Vignette du fichier
416473_1_En_7_Chapter.pdf (149.08 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01633953 , version 1 (13-11-2017)

Licence

Attribution

Identifiers

Cite

Zoltán Ésik, Szabolcs Iván. MSO-definable Properties of Muller Context-Free Languages Are Decidable. 18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.87-97, ⟨10.1007/978-3-319-41114-9_7⟩. ⟨hal-01633953⟩
129 View
110 Download

Altmetric

Share

Gmail Facebook X LinkedIn More