Characterizing Languages by Normalization and Termination in String Rewriting

(Extended Abstract)
  • Jeroen Ketema
  • Jakob Grue Simonsen
Conference paper

DOI: 10.1007/978-3-642-31653-1_41

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7410)
Cite this paper as:
Ketema J., Simonsen J.G. (2012) Characterizing Languages by Normalization and Termination in String Rewriting. In: Yen HC., Ibarra O.H. (eds) Developments in Language Theory. DLT 2012. Lecture Notes in Computer Science, vol 7410. Springer, Berlin, Heidelberg

Abstract

We characterize sets of strings using two central properties from rewriting: normalization and termination. We recall the well-known result that any recursively enumerable set of strings can occur as the set of normalizing strings over a “small” alphabet if the rewriting system is allowed access to a “larger” alphabet (and extend the result to termination). We then show that these results do not hold when alphabet extension is disallowed. Finally, we prove that for every reasonably well-behaved deterministic time complexity class, there is a set of strings complete for the class that also occurs as the set of normalizing or terminating strings, without alphabet extension.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Jeroen Ketema
    • 1
  • Jakob Grue Simonsen
    • 2
  1. 1.Faculty EEMCSUniversity of TwenteEnschedeThe Netherlands
  2. 2.Department of Computer ScienceUniversity of Copenhagen (DIKU)Copenhagen SDenmark

Personalised recommendations