메뉴 건너뛰기




Volumn 2710, Issue , 2003, Pages 55-74

Restarting automata and their relations to the Chomsky hierarchy

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS;

EID: 35248836442     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45007-6_5     Document Type: Article
Times cited : (47)

References (48)
  • 2
    • 33750311533 scopus 로고
    • PhD dissertation. Harvard University, Cambridge, Massachusetts
    • Book, R.V.: Grammars with Time Functions. PhD dissertation. Harvard University, Cambridge, Massachusetts (1969)
    • (1969) Grammars with Time Functions
    • Book, R.V.1
  • 4
    • 0010180814 scopus 로고    scopus 로고
    • Habilitationsschrift, Fakultät für Mathematik und Informatik, Universität Würzburg
    • Buntrock, G.: Wachsende kontext-sensitive Sprachen. Habilitationsschrift, Fakultät für Mathematik und Informatik, Universität Würzburg (1996)
    • (1996) Wachsende Kontext-sensitive Sprachen
    • Buntrock, G.1
  • 5
    • 0010183563 scopus 로고    scopus 로고
    • Growing context-sensitive languages and Church-Rosser languages
    • Buntrock, G., Otto, F.: Growing context-sensitive languages and Church-Rosser languages. Infor. Comput. 141 (1998) 1-36
    • (1998) Infor. Comput. , vol.141 , pp. 1-36
    • Buntrock, G.1    Otto, F.2
  • 7
    • 0022882167 scopus 로고
    • Membership for growing context-sensitive grammars is polynomial
    • Dahlhaus, E., Warmuth, M.: Membership for growing context-sensitive grammars is polynomial. J. Comput. Syst. Sci. 33 (1986) 456-472
    • (1986) J. Comput. Syst. Sci. , vol.33 , pp. 456-472
    • Dahlhaus, E.1    Warmuth, M.2
  • 8
    • 0000449740 scopus 로고    scopus 로고
    • Contextual grammars and formal languages
    • Rozenberg, G., Salomaa, A. (eds.): Springer, Berlin Heidelberg New York
    • Ehrenfeucht, A., Pǎun, G., Rozenberg, G.: Contextual grammars and formal languages. In: Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages. Vol. 2. Springer, Berlin Heidelberg New York (1997) 237-293
    • (1997) Handbook of Formal Languages , vol.2 , pp. 237-293
    • Ehrenfeucht, A.1    Pǎun, G.2    Rozenberg, G.3
  • 9
    • 0346457630 scopus 로고    scopus 로고
    • On representing recursively enumerable languages by internal contextual languages
    • Ehrenfeucht, A., Pǎun, G., Rozenberg, G.: On representing recursively enumerable languages by internal contextual languages. Theor. Comput. Sci. 205 (1998) 61-83
    • (1998) Theor. Comput. Sci. , vol.205 , pp. 61-83
    • Ehrenfeucht, A.1    Pǎun, G.2    Rozenberg, G.3
  • 10
    • 0348038114 scopus 로고
    • On the complexity of derivations for context-sensitive grammars
    • In Russian
    • Gladkij, A.W.: On the complexity of derivations for context-sensitive grammars. Algebra i Logika 3 (1964) 29-44 (In Russian)
    • (1964) Algebra i Logika , vol.3 , pp. 29-44
    • Gladkij, A.W.1
  • 12
    • 0039996732 scopus 로고
    • A taxonomy of forgetting automata
    • Borzyszkowski, A.M., Sokolowski, St. (eds.): MFCS'93, Proc., Springer, Berlin
    • Jančar, P., Mráz, F., Plátek, M.: A taxonomy of forgetting automata. In: Borzyszkowski, A.M., Sokolowski, St. (eds.): MFCS'93, Proc., LNCS 711, Springer, Berlin (1993) 527-536
    • (1993) LNCS , vol.711 , pp. 527-536
    • Jančar, P.1    Mráz, F.2    Plátek, M.3
  • 13
    • 0039562798 scopus 로고    scopus 로고
    • Forgetting automata and context-free languages
    • Jančar, P., Mráz, F., Plátek, M.: Forgetting automata and context-free languages. Acta Infor. 33 (1996) 409-420
    • (1996) Acta Infor. , vol.33 , pp. 409-420
    • Jančar, P.1    Mráz, F.2    Plátek, M.3
  • 14
    • 0347301093 scopus 로고    scopus 로고
    • Restarting automata, Marcus grammars and context-free languages
    • Dassow, J. Rozenberg, G. and Salomaa, A. (eds.): Proc., World Scientific, Singapore
    • Jančar, P., Mráz, F., Plátek, M., Procházka, M., Vogel, J.: Restarting automata, Marcus grammars and context-free languages. In: Dassow, J. Rozenberg, G. and Salomaa, A. (eds.): DLT II, Proc., World Scientific, Singapore (1996) 102-111
    • (1996) DLT II , pp. 102-111
    • Jančar, P.1    Mráz, F.2    Plátek, M.3    Procházka, M.4    Vogel, J.5
  • 15
    • 84947913525 scopus 로고
    • Restarting automata
    • Reichel, H. (ed.): FCT'95, Proc., Springer, Berlin
    • Jančar, P., Mráz, F., Plátek, M., Vogel, J.: Restarting automata. In: Reichel, H. (ed.): FCT'95, Proc., LNCS 965, Springer, Berlin (1995) 283-292
    • (1995) LNCS , vol.965 , pp. 283-292
    • Jančar, P.1    Mráz, F.2    Plátek, M.3    Vogel, J.4
  • 16
    • 26344453052 scopus 로고    scopus 로고
    • On restarting automata with rewriting
    • Pǎun, G., Salomaa, A. (eds.): New Trends in Formal Languages, Springer, Berlin
    • Jančar, P., Mráz, F., Plátek, M., Vogel, J.: On restarting automata with rewriting. In: Pǎun, G., Salomaa, A. (eds.): New Trends in Formal Languages, LNCS 1218, Springer, Berlin (1997) 119-136
    • (1997) LNCS , vol.1218 , pp. 119-136
    • Jančar, P.1    Mráz, F.2    Plátek, M.3    Vogel, J.4
  • 17
    • 33750341844 scopus 로고    scopus 로고
    • Monotonic rewriting automata with a restart operation
    • Plášil, F., Jeffery, K.G. (eds.): SOFSEM'97, Proc., Springer, Berlin
    • Jančar, P., Mráz, F., Plátek, M., Vogel, J.: Monotonic rewriting automata with a restart operation. In: Plášil, F., Jeffery, K.G. (eds.): SOFSEM'97, Proc., LNCS 1338, Springer, Berlin (1997) 505-512
    • (1997) LNCS , vol.1338 , pp. 505-512
    • Jančar, P.1    Mráz, F.2    Plátek, M.3    Vogel, J.4
  • 18
    • 84887042143 scopus 로고    scopus 로고
    • Different types of monotonicity for restarting automata
    • Arvind, V., Ramanujam, R. (eds.): FSTTCS'98, Proc., Springer, Berlin
    • Jančar, P., Mráz, F., Plátek, M., Vogel, J.: Different types of monotonicity for restarting automata. In: Arvind, V., Ramanujam, R. (eds.): FSTTCS'98, Proc., LNCS 1530, Springer, Berlin (1998) 343-354
    • (1998) LNCS , vol.1530 , pp. 343-354
    • Jančar, P.1    Mráz, F.2    Plátek, M.3    Vogel, J.4
  • 20
    • 33746224901 scopus 로고    scopus 로고
    • Church-Rosser languages vs. UCFL
    • Widmayer, P., Triguero, F., Morales, R., Hennessy, M., Eidenbenz, S., Conejo, R. (eds.): ICALP'02, Proc., Springer, Berlin
    • Jurdziński, T., Loryś, K.: Church-Rosser languages vs. UCFL. In: Widmayer, P., Triguero, F., Morales, R., Hennessy, M., Eidenbenz, S., Conejo, R. (eds.): ICALP'02, Proc., LNCS 2380, Springer, Berlin (2002) 147-158
    • (2002) LNCS , vol.2380 , pp. 147-158
    • Jurdziński, T.1    Loryś, K.2
  • 22
    • 0006984681 scopus 로고    scopus 로고
    • Contextual grammars and natural languages
    • Rozenberg, G., Salomaa, A. (eds.): Springer, Berlin Heidelberg New York
    • Marcus, S.: Contextual grammars and natural languages. In: Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages. Vol. 2. Springer, Berlin Heidelberg New York (1997) 215-235
    • (1997) Handbook of Formal Languages , vol.2 , pp. 215-235
    • Marcus, S.1
  • 23
    • 0038687318 scopus 로고    scopus 로고
    • An insertion into the Chomsky hierarchy?
    • Karhumäki, J., Maurer, H., Pǎun, G., Rozenberg, G. (eds.): Springer, Berlin Heidelberg New York
    • McNaughton, R.: An insertion into the Chomsky hierarchy? In: Karhumäki, J., Maurer, H., Pǎun, G., Rozenberg, G. (eds.): Jewels are Forever. Springer, Berlin Heidelberg New York (1999) 204-212
    • (1999) Jewels Are Forever , pp. 204-212
    • McNaughton, R.1
  • 26
    • 33750320235 scopus 로고    scopus 로고
    • Lookahead hierarchies of restarting automata
    • Mráz, F.: Lookahead hierarchies of restarting automata. J. Autom. Lang. and Comb. 6 (2001) 493-506
    • (2001) J. Autom. Lang. and Comb. , vol.6 , pp. 493-506
    • Mráz, F.1
  • 28
    • 24044459489 scopus 로고    scopus 로고
    • Restarting automata, deleting, and Marcus grammars
    • Martín-Vide, C., Pǎun, G. (eds.): Editura Academiei Române, Bukarest
    • Mráz, F., Plátek, M., Procházka, M.: Restarting automata, deleting, and Marcus grammars. In: Martín-Vide, C., Pǎun, G. (eds.): Recent Topics in Mathem. and Comput. Linguistics. Editura Academiei Române, Bukarest (2000) 218-233
    • (2000) Recent Topics in Mathem. and Comput. Linguistics , pp. 218-233
    • Mráz, F.1    Plátek, M.2    Procházka, M.3
  • 30
    • 35248897459 scopus 로고    scopus 로고
    • Regular Languages and Church-Rosser congruential languages
    • Freund, R., Kelemenová, A. (eds.): Proc., Silesian University, Opava
    • Niemann, G.: Regular Languages and Church-Rosser congruential languages. In: Freund, R., Kelemenová, A. (eds.): Grammar Systems 2000, Proc., Silesian University, Opava (2000) 359-370
    • (2000) Grammar Systems 2000 , pp. 359-370
    • Niemann, G.1
  • 32
    • 84947928938 scopus 로고    scopus 로고
    • The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages
    • Nivat, M. (ed.): FoSSaCS'98, Proc., Springer, Berlin
    • Niemann, G., Otto, F.: The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages. In: Nivat, M. (ed.): FoSSaCS'98, Proc., LNCS 1378, Springer, Berlin (1998) 243-257
    • (1998) LNCS , vol.1378 , pp. 243-257
    • Niemann, G.1    Otto, F.2
  • 33
    • 27744518262 scopus 로고    scopus 로고
    • Confluent internal contextual languages
    • Martin-Vide, C., Pǎun, G. (eds.): The Publishing House of the Romanian Academy, Bucharest
    • Niemann, G., Otto, F.: Confluent internal contextual languages. In: Martin-Vide, C., Pǎun, G. (eds.): Recent Topics in Mathematical and Computational Linguistics. The Publishing House of the Romanian Academy, Bucharest (2000) 234-244
    • (2000) Recent Topics in Mathematical and Computational Linguistics , pp. 234-244
    • Niemann, G.1    Otto, F.2
  • 34
    • 2342510714 scopus 로고    scopus 로고
    • Restarting automata, Church-Rosser languages, and representations of r.e. languages
    • Rozenberg, G., Thomas, W. (eds.): Proc., World Scientific, Singapore
    • Niemann, G., Otto, F.: Restarting automata, Church-Rosser languages, and representations of r.e. languages. In: Rozenberg, G., Thomas, W. (eds.): DLT'99, Proc., World Scientific, Singapore (2000) 103-114
    • (2000) DLT'99 , pp. 103-114
    • Niemann, G.1    Otto, F.2
  • 35
    • 2342532138 scopus 로고    scopus 로고
    • On the power of RRWW-automata
    • Ito, M., Pǎun, G., Yu, S. (eds.): World Scientific, Singapore
    • Niemann, G., Otto, F.: On the power of RRWW-automata. In: Ito, M., Pǎun, G., Yu, S. (eds.): Words, Semigroups, and Transductions. World Scientific, Singapore (2001) 341-355
    • (2001) Words, Semigroups, and Transductions , pp. 341-355
    • Niemann, G.1    Otto, F.2
  • 36
    • 2342536181 scopus 로고    scopus 로고
    • Further results on restarting automata
    • Ito, M., Imaoka, T. (eds.): Proc., World Scientific, Singapore to appear
    • Niemann, G., Otto, F.: Further results on restarting automata. In: Ito, M., Imaoka, T. (eds.): Words, Languages and Combinatorics III, Proc., World Scientific, Singapore (2003), to appear
    • (2003) Words, Languages and Combinatorics III
    • Niemann, G.1    Otto, F.2
  • 37
    • 84876897093 scopus 로고    scopus 로고
    • Some regular languages that are Church-Rosser congruential
    • Kuich, W., Rozenberg, G., Salomaa, A. (eds.): DLT'01, Proc., Springer, Berlin
    • Niemann, G., Waldmann, J.: Some regular languages that are Church-Rosser congruential. In: Kuich, W., Rozenberg, G., Salomaa, A. (eds.): DLT'01, Proc., LNCS 2295, Springer, Berlin (2002) 330-339
    • (2002) LNCS , vol.2295 , pp. 330-339
    • Niemann, G.1    Waldmann, J.2
  • 38
    • 34547584320 scopus 로고    scopus 로고
    • The growing context-sensitive languages are the acyclic context-sensitive languages
    • Kuich, W., Rozenberg, G., Salomaa, A. (eds.): DLT'01, Proc., Springer, Berlin
    • Niemann, G., Woinowski, J.R.: The growing context-sensitive languages are the acyclic context-sensitive languages. In: Kuich, W., Rozenberg, G., Salomaa, A. (eds.): DLT'01, Proc., LNCS 2295, Springer, Berlin (2002) 197-205
    • (2002) LNCS , vol.2295 , pp. 197-205
    • Niemann, G.1    Woinowski, J.R.2
  • 39
    • 0032209876 scopus 로고    scopus 로고
    • Infinite convergent string-rewriting systems and cross-sections for finitely presented monoids
    • Otto, F., Katsura, M., Kobayashi, Y.: Infinite convergent string-rewriting systems and cross-sections for finitely presented monoids. J. Symbol. Comput. 26 (1998) 621-648
    • (1998) J. Symbol. Comput. , vol.26 , pp. 621-648
    • Otto, F.1    Katsura, M.2    Kobayashi, Y.3
  • 40
    • 0000457926 scopus 로고
    • On context-free languages
    • Parikh, R.J.: On context-free languages. J. Assoc. Comput. Mach. 13 (1966) 570-581
    • (1966) J. Assoc. Comput. Mach. , vol.13 , pp. 570-581
    • Parikh, R.J.1
  • 41
    • 84943248357 scopus 로고    scopus 로고
    • Two-way restarting automata and j-monotonicity
    • Pacholski, L., Ružička, P. (eds.): SOFSEM'01, Proc., Springer, Berlin
    • Plátek, M.: Two-way restarting automata and j-monotonicity. In: Pacholski, L., Ružička, P. (eds.): SOFSEM'01, Proc., LNCS 2234, Springer, Berlin (2001) 316-325
    • (2001) LNCS , vol.2234 , pp. 316-325
    • Plátek, M.1
  • 43
    • 85035765104 scopus 로고
    • A framework for studying grammars
    • Gruska, I., Chytil, M. (eds.): MFCS'81, Proc., Springer, Berlin
    • Rovan, B.: A framework for studying grammars. In: Gruska, I., Chytil, M. (eds.): MFCS'81, Proc., LNCS 118, Springer, Berlin (1981) 473-482
    • (1981) LNCS , vol.118 , pp. 473-482
    • Rovan, B.1
  • 44
    • 0016483250 scopus 로고
    • The characterization by automata of certain classes of languages in the context sensitive area
    • Solms, S.H. von: The characterization by automata of certain classes of languages in the context sensitive area. Infor. Control 27 (1975) 262-271
    • (1975) Infor. Control , vol.27 , pp. 262-271
    • Von Solms, S.H.1
  • 46
    • 84947590426 scopus 로고    scopus 로고
    • Selected types of pg-ambiguity: Processing based on analysis by reduction
    • Sojka, P., Kopeček, I., Pala, K. (eds.): Text, Speech and Dialogue, 3rd Int. Workshop, TSD 2000, Proc., Springer, Berlin
    • Straňáková, M.: Selected types of pg-ambiguity: Processing based on analysis by reduction. In: Sojka, P., Kopeček, I., Pala, K. (eds.): Text, Speech and Dialogue, 3rd Int. Workshop, TSD 2000, Proc., LNCS 1902, Springer, Berlin (2000) 139-144
    • (2000) LNCS , vol.1902 , pp. 139-144
    • Straňáková, M.1
  • 47
    • 0038687311 scopus 로고    scopus 로고
    • A normal form for Church-Rosser language systems
    • Middeldorp, A. (ed.): RTA'01, Proc., Springer, Berlin
    • Woinowski, J.: A normal form for Church-Rosser language systems. In: Middeldorp, A. (ed.): RTA'01, Proc., LNCS 2051, Springer, Berlin (2001) 322-337
    • (2001) LNCS , vol.2051 , pp. 322-337
    • Woinowski, J.1


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