SCOPUS 정보 검색 플랫폼

Volumn 269, Issue 1-2, 2001, Pages 283-315

Wadge hierarchy of omega context-free languages

Author keywords

Conciliating Wadge hierarchy; Infinitary context free languages; Iterated counter languages; Omega context free languages; Topological properties; Wadge hierarchy

Indexed keywords

CONTEXT FREE GRAMMARS; FINITE AUTOMATA; ITERATIVE METHODS;

ITERATED COUNTER LANGUAGES;

CONTEXT FREE LANGUAGES;

EID: 0035965487 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(01)00008-1 Document Type: Article

Times cited : (17)

References (49)

1
- 0001932721
- Comportements de Processus
- Paris
- (1982) Colloque AFCET Les Mathématiques de l'Informatique , pp. 35-68
- Arnold, A.¹ Nivat, M.²

2
- 0003237210
- Context free languages and pushdown automata
- G. Rozenberg, A. Salomaa (Ed.), Springer, Berlin
- (1996) Handbook of Formal Languages , vol.1
- Autebert, J.-M.¹ Berstel, J.² Boasson, L.³

3
- 0026852039
- The Hausdorff-Kuratowski hierarchy of ω-regular languages and a hierarchy of Muller automata
- (1992) Theoret. Comput. Sci. , vol.96 , pp. 345-360
- Barua, R.¹

4
- 0002809996
- Ph.D. Thesis, Université Paris 7
- (1984) Langages Algébriques infinitaires
- Beauquier, D.¹

5
- 0002874546
- Some results about finite and infinite behaviours of a pushdown automaton
- Proc. 11th Internat. Colloquium on Automata, Languages and Programming (ICALP 84)
- (1984) Lecture Notes in Computer Science , vol.172 , pp. 187-195
- Beauquier, D.¹

6
- 0003601314
- Teubner Studienbücher Informatik
- (1979) Transductions and Context Free Languages
- Berstel, J.¹

7
- 0000498126
- Adherences of languages
- (1980) J. Comput. System Sci. , vol.20 , Issue.3 , pp. 285-309
- Boasson, L.¹ Nivat, M.²

8
- 70350098746
- Weak second order arithmetic and finite automata
- (1960) Z. Math. Logik Grundlagen Math. , vol.6 , pp. 66-92
- Büchi, J.R.¹

9
- 0002921602
- On a decision method in restricted second order arithmetic, logic methodology and philosophy of science
- Stanford University Press
- (1962) Proc. 1960 Int. Congr. , pp. 1-11
- Büchi, J.R.¹

10
- 84968476508
- Solving sequential conditions by finite state strategies
- (1969) Trans. Amer. Math. Soc. , vol.138 , pp. 295-311
- Büchi, J.R.¹ Landweber, L.H.²

11
- 0003640294
- The Monadic Second Order Theory of All Countable Ordinals, Decidable Theories 2, Springer, Berlin
- (1973) Springer Lecture Notes in Mathematics , vol.328
- Büchi, J.R.¹ Siefkes, D.²

12
- 0642367509
- Chains and superchains for ω-rational sets, automata and semigroups
- (1997) Internat. J. Algebra Comput. , vol.7 , Issue.6 , pp. 673-695
- Carton, O.¹ Perrin, D.²

13
- 0000754339
- The Wagner hierarchy of ω-rational sets
- (1999) Internat. J. Algebra Comput. , vol.9 , Issue.5 , pp. 597-620
- Carton, O.¹ Perrin, D.²

14
- 0004243841
- American Elsevier Publishing Company, Inc, New York, North-Holland, Amsterdam, 3rd ed., 1990
- (1973) Model Theory
- Chang, C.C.¹ Keisler, H.J.²

15
- 0000136802
- Theory of ω-languages, Parts one and two
- (1977) J. Comput. System Sci. , vol.15 , Issue.2 , pp. 169-184
- Cohen, R.S.¹ Gold, A.Y.²

16
- 0000855431
- ω-Computations on deterministic pushdown machines
- (1978) J. Comput. System Sci , vol.16 , Issue.3 , pp. 275-300
- Cohen, R.S.¹ Gold, A.Y.²

17
- 0003992746
- Ph.D. Thesis, Université Paris 7
- (1995) La Forme Normale des Boréliens de Rang Fini
- Duparc, J.¹

18
- 0000114107
- The Normal form of Borel sets, Part 1: Borel sets of finite rank
- (1995) C.R. Acad. Sci. Paris, Sér. 1 , vol.320 , pp. 651-656
- Duparc, J.¹

19
- 0035630647
- Wadge hierarchy and Veblen hierarchy: Part 1: Borel sets of finite rank
- to appear
- (2001) J. Symbolic Logic
- Duparc, J.¹

20
- 0002734367
- A hierarchy of context-free ω-languages
- submitted
- (1999) Theoret. Comput. Sci.
- Duparc, J.¹

21
- 0003244852
- Computer science and the fine structure of Borel sets
- to appear
- (1999) Theoret. Comput. Sci.
- Duparc, J.¹ Finkel, O.² Ressayre, J.-P.³

22
- 0004277611
- Academic Press, New York
- (1974) Automata, Languages and Machines , vol.A
- Eilenberg, S.¹

23
- 0027561226
- X-automata on ω-words
- (1993) Theoret. Comput. Sci. , vol.110 , Issue.1 , pp. 1-51
- Engelfriet, J.¹ Hoogeboom, H.J.²

24
- 0034912597
- Topological properties of omega context-free languages
- to appear
- Theoret. Comput. Sci.
- Finkel, O.¹

25
- 0037537018
- in preparation
- Wadge hierarchy of omega deterministic context-free languages
- Finkel, O.¹

26
- 85009165670
- Borel hierarchy and omega context-free languages
- submitted
- Theoret. Comput. Sci.
- Finkel, O.¹

27
- 0003508350
- McGraw-Hill Book Company, New York
- (1966) The Mathematical Theory of Context Free Languages
- Ginsburg, S.¹

28
- 0003733548
- Addison-Wesley Publishing Company, Reading, MA
- (1969) Formal Languages and their Relation to Automata
- Hopcroft, J.E.¹ Ullman, J.D.²

29
- 0022052397
- A classification of ω-regular languages
- (1985) Theoret. Comput. Sci. , vol.36 , pp. 217-229
- Kaminsky, M.¹

30
- 0003391813
- Academic Press, New York
- (1966) Topology
- Kuratowski, K.¹

31
- 0001578717
- Decision problems for ω-automata
- (1969) Math. Systems Theory , vol.3 , Issue.4 , pp. 376-384
- Landweber, L.H.¹

32
- 0020707342
- Langages à un compteur
- (1983) J. Comput. System Sci. , vol.26 , Issue.1 , pp. 14-33
- Latteux, M.¹

33
- 85011661085
- Logical specifications of infinite computations
- J.W. de Bakker, et al., (Eds.), A Decade of Concurrency, Springer, Berlin
- (1994) Lecture Notes in Computer Science , vol.803 , pp. 583-621
- Lescow, H.¹ Thomas, W.²

34
- 0001182927
- On ω-sets associated with context-free languages
- (1976) Inform. and Control , vol.31 , Issue.3 , pp. 272-293
- Linna, M.¹

35
- 0002983050
- A decidability result for ω-context-free languages
- (1977) Theoret. Comput. Sci. , vol.4 , pp. 83-98
- Linna, M.¹

36
- 0000399713
- Testing and generating infinite sequences by a finite automaton
- (1966) Inform. and Control , vol.9 , pp. 521-530
- Mac Naughton, R.¹

37
- 0004270686
- North-Holland, Amsterdam
- (1980) Descriptive Set Theory
- Moschovakis, Y.N.¹

38
- 0017634372
- Mots infinis engendrés par une grammaire algébrique
- (1977) RAIRO Inform. théorique , vol.11 , pp. 311-327
- Nivat, M.¹

39
- 0018053508
- Sur les ensembles de mots infinis engendrés par une grammaire algébrique
- (1978) RAIRO Inform. théorique , vol.12 , pp. 259-278
- Nivat, M.¹

40
- 0004348610
- Book in preparation
- Infinite Words
- Perrin, D.¹ Pin, J.-E.²

41
- 0003018677
- Fine hierarchy of regular ω-languages
- (1998) Theoret. Comput. Sci. , vol.191 , pp. 37-59
- Selivanov, V.¹

42
- 0004061291
- Polish Scientific Publisher, Varsovie
- (1965) Cardinal and Ordinal Numbers
- Sierpinski, W.¹

43
- 0003875901
- Ph.D. Thesis, Université Paris 7, March
- (1992) Automates et théorie descriptive
- Simonnet, P.¹

44
- 0000189487
- Hierarchies of recursive ω-languages
- (1986) J. Inform. Process. Cybernet. EIK , vol.22 , Issue.5-6 , pp. 219-241
- Staiger, L.¹

45
- 0000103668
- ω-Languages
- G. Rozenberg, A. Salomaa (Eds.), Springer, Berlin
- (1997) Handbook of Formal Languages , vol.3
- Staiger, L.¹

46
- 0001282303
- Automata on infinite objects
- J. Van Leeuwen (Ed.), Elsevier, Amsterdam
- (1990) Handbook of Theoretical Computer Science , vol.B , pp. 133-191
- Thomas, W.¹

47
- 0002814621
- Ph.D. Thesis, Berkeley
- (1984)
- Wadge, W.W.¹

48
- 0018542186
- On omega regular sets
- (1979) Inform. and Control , vol.43 , pp. 123-177
- Wagner, K.¹

49
- 0343242844
- Computing the Wadge degree, the Lifschitz degree and the Rabin index of a regular language of infinite words in polynomial time
- P.D. Mosses, M. Nielsen, M.I. Schwartzbach (Eds.), TAPSOFT'95: Theory and Practice of Software Development, Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.915 , pp. 288-302
- Wilke, Th.¹ Yoo, H.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.