{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T18:24:49Z","timestamp":1760120689113},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1996,5,1]],"date-time":"1996-05-01T00:00:00Z","timestamp":830908800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1996,5]]},"DOI":"10.1007\/s002360050045","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T07:47:25Z","timestamp":1030261645000},"page":"281-296","source":"Crossref","is-referenced-by-count":12,"title":["On the rational subsets of the free group"],"prefix":"10.1007","volume":"33","author":[{"given":"G\u00e9raud","family":"S\u00e9nizergues","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"60330281236_CR1","first-page":"18","volume":"4","author":"A.V. Anisimov","year":"1971","unstructured":"Anisimov, A.V.: Group languages. Kibernetica 4, 18\u201324 (1971)","journal-title":"Kibernetica"},{"issue":"2","key":"60330281236_CR2","first-page":"243","volume":"35","author":"J.M. Autebert","year":"1987","unstructured":"Autebert, J.M., Boasson, L., S\u00e9nizergues, G.: Groups and NTS languages. JCSS 35 (2), 243\u2013267 (1987)","journal-title":"JCSS"},{"key":"60330281236_CR3","doi-asserted-by":"crossref","unstructured":"Berstel, J.: Transductions and context-free languages. Teubner, 1979","DOI":"10.1007\/978-3-663-09367-1"},{"key":"60330281236_CR4","volume-title":"In handbook of theoretical computer science","author":"J. Berstel","year":"1991","unstructured":"Berstel, J., Boasson, L.: Context-free languages. In handbook of theoretical computer science, vol. B, Chap. 2, pp. 59\u2013102. Amsterdam: Elsevier 1991"},{"key":"60330281236_CR5","volume-title":"In Proc. M.F.C.S. 86\u2019","author":"J. Berstel","year":"1986","unstructured":"Berstel, J., Sakarovitch, J.: Recent results in the theory of rational sets. In Proc. M.F.C.S. 86\u2019, (Lect. Notes Comput. Sci., vol. 233, pp. 15\u201328) Berlin, Heidelberg, New York: Springer, 1986"},{"key":"60330281236_CR6","volume-title":"In Proc. ICALP 94","author":"J.C. Birget","year":"1994","unstructured":"Birget, J.C., Margolis, S., Meakin, J., Weil, P.: space-completeness of certain algorithmic problems on the subgroups of the free groups. In Proc. ICALP 94(Lect. Notes Comput. Sci., Vol. 820, pp. 274\u2013285) Berlin, Heidelberg, New York: Springer 1994"},{"key":"60330281236_CR7","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0304-3975(83)90005-1","volume":"24","author":"R.V. Book","year":"1983","unstructured":"Book, R.V.: Decidable sentences of Church-Rosser congruences. Theoret. Comput. Sci. 24, 301\u2013312 (1983)","journal-title":"Theoret. Comput. Sci."},{"key":"60330281236_CR8","volume-title":"Texts and monographs in computer science","author":"R.V. Book","year":"1993","unstructured":"Book, R.V., Otto, F.: String rewriting systems. Texts and monographs in computer science. Berlin, Heidelberg, New York: Springer 1993"},{"key":"60330281236_CR9","doi-asserted-by":"crossref","unstructured":"Courcelle, B.: Graph rewriting: an algebraic and logical approach. In Handbook of theoretical computer science, Chap. 5, pp. 195\u2013242 Amsterdam: Elsevier","DOI":"10.1016\/B978-0-444-88074-1.50010-X"},{"key":"60330281236_CR10","unstructured":"Courcelle, B.: Basic notions of universal algebra for language theory and graph grammars. Tutorial submitted to Theoret. Comput. Sci., pp 1\u201369 (1994)"},{"key":"60330281236_CR11","first-page":"243","volume-title":"In Handbook of theoretical computer science","author":"N. Dershowitz","year":"1991","unstructured":"Dershowitz, N., Jouannaud, J.P.: Rewrite systems. In Handbook of theoretical computer science, Vol. B, Chap. 2, pp. 243\u2013320. Amsterdam, Elsevier, 1991"},{"key":"60330281236_CR12","volume-title":"Groups acting on graphs","author":"W. Dicks","year":"1989","unstructured":"Dicks, W., Dunwoody, M.J.: Groups acting on graphs. Cambridge: Cambridge University Press, 1989"},{"key":"60330281236_CR13","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/BF01388581","volume":"81","author":"M.J. Dunwoody","year":"1985","unstructured":"Dunwoody, M.J.: The accessiblity of finitely presented groups. Invent. Math. 81, 449\u2013457 (1985)","journal-title":"Invent. Math."},{"key":"60330281236_CR14","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0304-3975(82)90124-4","volume":"27","author":"A. Ehrenfeucht","year":"1983","unstructured":"Ehrenfeucht, A., Haussler, D., Rozenberg, G.: On regularity of context-free languages. Theoret. Comput. Sci. 27, 311\u2013322 (1983)","journal-title":"Theoret. Comput. Sci."},{"key":"60330281236_CR15","volume-title":"Automata, languages and machines","author":"S. Eilenberg","year":"1974","unstructured":"Eilenberg, S.: Automata, languages and machines, Vol. A. New York: Academic Press 1974"},{"key":"60330281236_CR16","doi-asserted-by":"crossref","first-page":"414","DOI":"10.4153\/CJM-1960-036-8","volume":"12","author":"L. Greenberg","year":"1960","unstructured":"Greenberg, L.: Discrete groups of motions. Canad. J. Math. 12, 414\u2013425 (1960)","journal-title":"Canad. J. Math."},{"key":"60330281236_CR17","doi-asserted-by":"crossref","unstructured":"Greibach, S.: A note on pushdown store automaton and regular systems. Proc. Amer. Math. Soc., pp. 263\u2013268, 1967","DOI":"10.1090\/S0002-9939-1967-0209086-1"},{"key":"60330281236_CR18","volume-title":"Introduction to formal language theory","author":"M.A. Harrison","year":"1978","unstructured":"Harrison, M.A.: Introduction to formal language theory. Reading, MA: Addison-Wesley 1978"},{"key":"60330281236_CR19","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1090\/S0002-9939-1957-0086813-1","volume":"8","author":"A. Karrass","year":"1957","unstructured":"Karrass, A., Solitar, D.: On free products. Proc. Amer. Math. Soc. 8, pp. 217\u2013221, 1957","journal-title":"Proc. Amer. Math. Soc."},{"key":"60330281236_CR20","first-page":"287","volume":"5","author":"N. Kuhn","year":"1994","unstructured":"Kuhn, N., Madlener, K., Otto, F.: Computing presentations for sub-groups of polycyclic groups and of context-free groups. A.A.E.C.C. 5, 287\u2013316 (1994)","journal-title":"A.A.E.C.C."},{"key":"60330281236_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61896-3","volume-title":"Combinatorial group theory","author":"R.C. Lyndon","year":"1977","unstructured":"Lyndon, R.C., Schupp, P.E.; Combinatorial group theory. Berlin, Heidelberg, New York: Springer 1977"},{"key":"60330281236_CR22","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0304-3975(89)90002-9","volume":"67","author":"K. Madlener","year":"1989","unstructured":"Madlener, K., Otto, F.: About the descriptive power of certain classes of finite string-rewriting sytems. Theoret. Comput. Sci. 67, 143\u2013172 (1989)","journal-title":"Theoret. Comput. Sci."},{"key":"60330281236_CR23","volume-title":"In Proc. STACS91","author":"K. Madlener","year":"1991","unstructured":"Madlener, K., Otto, F.: Decidable sentences for context-free groups. In Proc. STACS91, (Lect. Notes Comput. Sci., Vol. 480, pp. 160\u2013171) Berlin, Heidelberg, New York: Springer 1991"},{"key":"60330281236_CR24","volume-title":"Combinatorial group theory","author":"W. Magnus","year":"1966","unstructured":"Magnus, W., Karass, A., Solitar, D.: Combinatorial group theory. New York: Interscience Publishers 1966"},{"issue":"3","key":"60330281236_CR25","first-page":"295","volume":"26","author":"D.E. Muller","year":"1983","unstructured":"Muller, D.E., Schupp, P.E.: Groups, the theory of ends, and context-free languages. J.C.S.S. 26 (3), 295\u2013310 (1983)","journal-title":"J.C.S.S."},{"key":"60330281236_CR26","unstructured":"Sakarovitch, J.: Syntaxe des langages de Chomsky, essai sur le d\u00e9terminisme. Ph.D. Thesis, Universit\u00e9 Paris, 7, 1970"},{"issue":"8\/9","key":"60330281236_CR27","first-page":"417","volume":"17","author":"J. Sakarovitch","year":"1981","unstructured":"Sakarovitch, J.: Description des mono\u00efdes de type fini. Elektronische Informationsverarbeitung und Kybernetik 17 (8\/9), 417\u2013434 (1981)","journal-title":"Elektronische Informationsverarbeitung und Kybernetik"},{"issue":"8","key":"60330281236_CR28","doi-asserted-by":"crossref","first-page":"499","DOI":"10.2307\/2322573","volume":"91","author":"J. Sakarovitch","year":"1984","unstructured":"Sakarovitch, J.: A problem on rational subsets of the free group. Amer. Math. Monthly 91 (8), 499\u2013501 (1984)","journal-title":"Amer. Math. Monthly"},{"key":"60330281236_CR29","unstructured":"S\u00e9nizergues, G.: On the finite subgroups of a context-free group. In preparation, preliminar version presented at the workshop ASMICS on Cayley graphs, Lyon, 1993; full version to appear in the Proceedings of the Workshop on Computational Aspects of Geometric Groups held at DIMACS, March 1994"},{"key":"60330281236_CR30","volume-title":"In Proc. ICALP 93","author":"G. S\u00e9nizergues","year":"1993","unstructured":"S\u00e9nizergues, G.: An effective version of Stallings\u2019 theorem in the case of context-free groups. In Proc. ICALP 93 (Lect. Notes Comput. Sci. vol. 700, pp. 479\u2013495) Berlin, Heidelberg, New York: Springer, 1993"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s002360050045.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s002360050045\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s002360050045","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T13:42:00Z","timestamp":1558705320000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s002360050045"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,5]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,5]]}},"alternative-id":["60330281236"],"URL":"https:\/\/doi.org\/10.1007\/s002360050045","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,5]]}}}