Star free expressions over the reals

Alexander Rabinovich*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

8 Scopus citations

Abstract

An interpretation of star free expressions over the reals is provided. The expressive power of star free expressions is compared to the expressive power of monadic first-order logic of order over the reals. It is proved that these formalisms have the same expressive power. This result provides a generalization of the classical McNaughton-Papert theorem (1971) from the finite orders to the order of the reals.

Original languageEnglish
Pages (from-to)233-245
Number of pages13
JournalTheoretical Computer Science
Volume233
Issue number1-2
DOIs
StatePublished - 28 Feb 2000

Keywords

  • Expressive completeness
  • Star-free-expressions

Fingerprint

Dive into the research topics of 'Star free expressions over the reals'. Together they form a unique fingerprint.

Cite this