-
1
-
-
85009188226
-
McNaughton families of languages
-
Beaudry, M., Holzer, M., Niemann, G., Otto, F.: McNaughton families of languages. Theor. Comput. Sci. 290 (2003) 1581-1628
-
(2003)
Theor. Comput. Sci.
, vol.290
, pp. 1581-1628
-
-
Beaudry, M.1
Holzer, M.2
Niemann, G.3
Otto, F.4
-
2
-
-
33750311533
-
-
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
-
-
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
-
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
-
6
-
-
33749421321
-
A note on the Chomsky hierarchy
-
Chytil, M.P., Plátek, M., Vogel, J.: A note on the Chomsky hierarchy. Bulletin of the EATCS 27 (1985) 23-30
-
(1985)
Bulletin of the EATCS
, vol.27
, pp. 23-30
-
-
Chytil, M.P.1
Plátek, M.2
Vogel, J.3
-
7
-
-
0022882167
-
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
-
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
-
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
-
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
-
11
-
-
0003620778
-
-
Addison-Wesley, Reading, M.A.
-
Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, M.A. (1979)
-
(1979)
Introduction to Automata Theory, Languages, and Computation
-
-
Hopcroft, J.E.1
Ullman, J.D.2
-
12
-
-
0039996732
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
19
-
-
2342623795
-
On monotonic automata with a restart operation
-
Jančar, P., Mráz, F., Plátek, M., Vogel, J.: On monotonic automata with a restart operation. J. Autom. Lang. and Comb. 4 (1999) 287-311
-
(1999)
J. Autom. Lang. and Comb.
, vol.4
, pp. 287-311
-
-
Jančar, P.1
Mráz, F.2
Plátek, M.3
Vogel, J.4
-
20
-
-
33746224901
-
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
-
21
-
-
35248833516
-
-
Mathematische Schriften Kassel, no. 14/01, Fachbereich Mathematik/Informatik, Universität Kassel
-
Jurdziński, T., Loryś, K., Niemann, G., Otto, F.: Some results on RRW-and RRWW-automata and their relationship to the class of growing context-sensitive languages. Mathematische Schriften Kassel, no. 14/01, Fachbereich Mathematik/Informatik, Universität Kassel (2001)
-
(2001)
Some Results on RRW-and RRWW-automata and Their Relationship to the Class of Growing Context-sensitive Languages
-
-
Jurdziński, T.1
Loryś, K.2
Niemann, G.3
Otto, F.4
-
22
-
-
0006984681
-
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
-
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
-
24
-
-
0023997283
-
Church-Rosser Thue systems and formal languages
-
McNaughton, R., Narendran, P., Otto, F.: Church-Rosser Thue systems and formal languages. J. Assoc. Comput. Mach. 35 (1988) 324-344
-
(1988)
J. Assoc. Comput. Mach.
, vol.35
, pp. 324-344
-
-
McNaughton, R.1
Narendran, P.2
Otto, F.3
-
26
-
-
33750320235
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
42
-
-
33750296226
-
Degrees of (non)monotonicity of RWW-automata
-
Dassow, J., Wotschke, D. (eds.): Report No. 16, Fakultät für Informatik, Universität Magdeburg
-
Plátek, M., Mráz, F.: Degrees of (non)monotonicity of RWW-automata. In: Dassow, J., Wotschke, D. (eds.): Preproceedings of the 3rd Workshop on Descriptional Complexity of Automata, Grammars and Related Structures. Report No. 16, Fakultät für Informatik, Universität Magdeburg (2001) 159-165
-
(2001)
Preproceedings of the 3rd Workshop on Descriptional Complexity of Automata, Grammars and Related Structures
, pp. 159-165
-
-
Plátek, M.1
Mráz, F.2
-
43
-
-
85035765104
-
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
-
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
-
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
-
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
|