• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Computational Universality in One-variable Language Equations

Alexander Okhotin, Computational Universality in One-variable Language Equations. Fundamenta Informaticae 74(4), 563–578, 2006.

Abstract:

It has recently been shown that several computational models, such as trellis automata, recursive functions and Turing machines, admit characterization by resolved systems of language equations with different sets of language-theoretic operations. This paper investigates how simple the systems of equations from the computationally universal types could be while still retaining their universality. It is proved that the universality and the associated hardness of decision problems begins at one-variable equations. Additionally, it is shown that language equations with added quotient with regular languages can specify every set representable in first-order Peano arithmetic.

BibTeX entry:

@ARTICLE{jOkhotin06a,
  title = {Computational Universality in One-variable Language Equations},
  author = {Okhotin, Alexander},
  journal = {Fundamenta Informaticae},
  volume = {74},
  number = {4},
  publisher = {IOS Press},
  pages = {563–578},
  year = {2006},
}

Belongs to TUCS Research Unit(s): FUNDIM, Fundamentals of Computing and Discrete Mathematics

Publication Forum rating of this publication: level 2

Edit publication