Sequential mappings of ω -languages

Ludwig Staiger

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1987)

  • Volume: 21, Issue: 2, page 147-173
  • ISSN: 0988-3754

How to cite

top

Staiger, Ludwig. "Sequential mappings of $\omega $-languages." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 21.2 (1987): 147-173. <http://eudml.org/doc/92281>.

@article{Staiger1987,
author = {Staiger, Ludwig},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {partial word-functions; translation formulae; accepting generalized sequential machine; -languages},
language = {eng},
number = {2},
pages = {147-173},
publisher = {EDP-Sciences},
title = {Sequential mappings of $\omega $-languages},
url = {http://eudml.org/doc/92281},
volume = {21},
year = {1987},
}

TY - JOUR
AU - Staiger, Ludwig
TI - Sequential mappings of $\omega $-languages
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1987
PB - EDP-Sciences
VL - 21
IS - 2
SP - 147
EP - 173
LA - eng
KW - partial word-functions; translation formulae; accepting generalized sequential machine; -languages
UR - http://eudml.org/doc/92281
ER -

References

top
  1. [Au] J.-M. AUTEBERT, Relationships Between AFDLs and Cylinders, Techn. Rep. No. 78-53, L.I.T.P., Paris, 1978. 
  2. [BN] L. BOASSON and M. NIVAT, Adherences of Languages, J. Comput. Syst. Sci., Vol. 20, No. 3, 1980, p. 285-309. Zbl0471.68052MR584863
  3. [Bü] J. R. BÜCHI, On a Decision Method in Restricted Second Order Arithmetic, in Proceedings 1960Int. Congr. for Logic, Stanford Univ. Press, Stanford, 1962, pp. 1-11. Zbl0147.25103MR183636
  4. [CG] R. S. COHEN and A. Y. GOLD, ω-Computations on Turing Machines, Theoret. Comput. Sci., Vol. 6, 1978, pp. 1-23. Zbl0368.68057MR465819
  5. [Da] M. DAVIS, Infinitary Games of Perfect Information, in Advances in Game Theory, Princeton Univ. Press, Princeton N. J., 1964, pp. 89-101. Zbl0133.13104MR170727
  6. [Ku] K. KURATOWSKJ, , Topology I, Academic Press, New York, 1966. Zbl0158.40802MR217751
  7. [La] L. H. LANDWEBER, Decision Problems for ω-Automata, Math. Syst. Theory, Vol. 3, 1969, pp. 376-384. Zbl0182.02402MR260595
  8. [LS] R. LINDNER and L. STAIGER., Algebraische Codierungstheorie-Theorie der sequentiellen Codierungen, Akademie-Verlag, Berlin, 1977. Zbl0363.94016MR469495
  9. [Sc 1] C. P. SCHNORR, Zufälligkeit und Wahrscheinlichkeit, L.N.M. 218, Springer-Verlag, Berlin-Heidelberg-New York, 1971. Zbl0232.60001MR414225
  10. [Sc 2] C. P. SCHNORR, Process Complexity and Effective Random Tests, J. Comput. Syst. Sci., Vol. 7, No. 4, 1973, pp. 376-388. Zbl0273.68036MR325366
  11. [St 1] L. STAIGER, Über ein Analogon des Satzes von Ginsburg-Rose für sequentielle Folgenoperatoren und reguläre Folgenmengen, Dipl. Arbeit, Friedrich-Schiller-Universität, Jena 1970. 
  12. [St 2] L. STAIGER, Zur Topologie der regularen Mengen, Diss. A, Friedrich-Schiller-Universtität, Jena 1976. 
  13. [St 3] L. STAIGER, Projection Lemmas for ω-Languages, Theoret Comput. Sci., Vol. 32, 1984, pp. 331-337. Zbl0545.68074MR761351
  14. [St 4] L. STAIGER, Hierarchies of Recursive ω-Languages, E.I.K.-J. Inform. Process and Cybernetics, Vol. 22, No. 5/6, 1986, pp. 219-241. Zbl0627.03024MR855527
  15. [SW 1] L. STAIGER and K. WAGNER, Zur Theorie der abstrakten Familien von ω-Sprachen (ω-AFL), in Algorithm. Kompliziertheit, Lern - und Erkennungsprozesse, Jena 1976, pp. 79-91. Zbl0447.68088MR455575
  16. [SW 2] L. STAIGER and K. WAGNER, Rekursive Folgenmengen I, Zeitschr. Math. Logik u. Grundl. Math., Vol. 24, 1978, pp. 523-538. Zbl0421.03035MR511706
  17. [Wa 1] K. WAGNER, Arithmetische Operatoren, Zeitschr. Math. Logik u. Grundl. Math., Vol. 22, 1976, pp. 553-570. Zbl0352.02031MR537535
  18. [Wa 2] K. WAGNER, On ω-Regular Sets, Inform. Control., Vol. 43, 1979, pp. 123-177. Zbl0434.68061MR553694

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.