An undecidable property of context-free linear orders

Research output: Contribution to journalArticle

16 Citations (Scopus)

Abstract

We prove that there exists no algorithm to decide whether the language generated by a context-free grammar is dense with respect to the lexicographic ordering. As a corollary to this result, we show that it is undecidable whether the lexicographic orderings of the languages generated by two context-free grammars have the same order type.

Original languageEnglish
Pages (from-to)107-109
Number of pages3
JournalInformation Processing Letters
Volume111
Issue number3
DOIs
Publication statusPublished - Jan 1 2011

Keywords

  • Context-free language
  • Decidability
  • Formal languages
  • Lexicographic ordering

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Signal Processing
  • Information Systems
  • Computer Science Applications

Fingerprint Dive into the research topics of 'An undecidable property of context-free linear orders'. Together they form a unique fingerprint.

  • Cite this