Alternation

  • José Luis Balcázar
  • Josep Díaz
  • Joaquim Gabarró
Part of the EATCS book series (EATCS, volume 22)

Abstract

In this chapter we shall study another computational model: the alternating Turing machine. This model combines the power of nondeterminism with parallelism by alternating the existential and universal states. Alternation connects time and space complexity rather well, in the sense that alternating polynomial time equals deterministic polynomial space, and alternating linear space equals deterministic exponential time. Analogous relationships hold for other time and space bounds. In the next chapter, we shall see how alternation links with the Parallel Computation Thesis presented in the previous chapters.

Keywords

Prefix Pebble Suffix Padding 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • José Luis Balcázar
    • 1
  • Josep Díaz
    • 1
  • Joaquim Gabarró
    • 1
  1. 1.Facultat d’InformàticaUniversitat Politècnica de CatalunyaBarcelonaSpain

Personalised recommendations