Empty - storage - acceptance of ω - languages

  • Ludwig Staiger
Section C Computability, Decidability & Arithmetic Complexity
Part of the Lecture Notes in Computer Science book series (LNCS, volume 56)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. 1.
    Büchi J.R., On a Decision Method in Restricted Second-order Arithmetic, Proc. Int. Congr. Logic, Methodology and Philosophy of Sciences 1960, Stanford Univ. Press, Stanford Calif.Google Scholar
  2. 2.
    Ginsburg S., S. Greibach, Abstract Families of Languages, Memoirs Am. Math. Soc. 87 (1969)Google Scholar
  3. 3.
    Linna M., On ω-words an ω-computations, Ann. Univ. Turku., Ser. A I 168 (1975)Google Scholar
  4. 4.
    Staiger L., K. Wagner, Zur Theorie der Abstrakten Familien von ω-Sprachen (ω-AFL), Tagungsber. II. Int. Symp. Algorithm. Kompl., Lern-u. Erkennungsproz., Jena 1976.Google Scholar
  5. 5.
    Staiger L., K. Wagner, Recursive ω-languages, this volumeGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • Ludwig Staiger
    • 1
  1. 1.Sektion MathematikFriedrich-Schiller-Universität69 JenaDDR

Personalised recommendations