References
- Büchi , J. R. 1960 . “ On a decision method in restricted second-order arithmetics ” . In Prof. of the Int. Congr. On Logic, Math. and Phil. of Sci. 1960 , Stanford, Callif : Standard Univ. Press .
- Culik , K. II and Pachl , J. K. 1981 . Equivalence Problems for Mappings on Infinite strings . Inform. and Control , 49 : 52 – 63 .
- Gire F. Relations Rationnelles infînitaires These de 3eme cycle, Univ. de Paris 1981 VII
- Gire , F. 1983 . Une Extension Sux Mots Infinis de la Notion de Transduction Retionarelle , 123 – 139 . Berlin : Springer .
- Latteux , M. and Timmerman , E. 1986 . Two characterizations of rational adherences . Theoret. Comput. Sci. , 46 : 101 – 106 .
- Moriya , T. and Yamasaki , H. 1988 . Accepting conditions for automata on ω-languages . Theoret. Comput. Sci. , 61 : 137 – 147 .
- Staiger , L. and Wagner , K. 1974 . Automatentheoreish und automatenfreie Characterisierngen topolo-gishcher Klassen regularer Folgenmengen . EIK , 10 : 379 – 392 .
- Takahashi , M. and Yamasaki , H. 1983 . A note on ω-regular languages . Theoret. Comput. Sci. , 23 : 217 – 225 .
- Timmerman , E. 1990 . The three subfamilies of rational ω-languages closed under ω-transduction . Theoret. Comput. Sci. , 76 : 243 – 250 .
- Tison S. Mots Infinis et Processus: Objects infinitaires et Topologie These de 3ieme cycle Universite de Lille 1983 1
- Yamasaki , H. 1989 . Language theoretical representations of ω-languages . Theoret. Comput. Sci. , 66 : 247 – 254 .