Startseite Mathematik Closure properties in the class of multiple context-free groups
Artikel
Lizenziert
Nicht lizenziert Erfordert eine Authentifizierung

Closure properties in the class of multiple context-free groups

  • Robert P. Kropholler EMAIL logo und Davide Spriano
Veröffentlicht/Copyright: 30. April 2019
Veröffentlichen auch Sie bei De Gruyter Brill

Abstract

We show that the class of groups with k-multiple context-free word problem is closed under graphs of groups with finite edge groups.

MSC 2010: 20F10; 68Q45

Award Identifier / Grant number: DMS-1440140

Funding statement: This work was started at MSRI, Berkeley, where research is supported by the National Science Foundation under Grant No. DMS-1440140.

Acknowledgements

We greatly thank Bob Gilman for introducing us to the subject and making this project possible. The second author would like to thank UC Berkeley for inviting him as a visiting scholar. The first author would like to thank Alessandro Sisto for inviting him to complete this work at the ETH. We thank the anonymous referee for helpful comments and suggestions, in particular, the addition of Section 6. Finally, we would like to thank Neil Fullarton for his invaluable work with a stapler.

References

[1] N. Chomsky, Context-free grammars and pushdown storage, Quart. Progress Rep. 65 (1962), 187–194. Suche in Google Scholar

[2] T. Denkinger, An automata characterisation for multiple context-free languages, Developments in Language Theory, Lecture Notes in Comput. Sci. 9840, Springer, Berlin (2016), 138–150. 10.1007/978-3-662-53132-7_12Suche in Google Scholar

[3] M. J. Dunwoody, The accessibility of finitely presented groups, Invent. Math. 81 (1985), no. 3, 449–457. 10.1007/BF01388581Suche in Google Scholar

[4] R. H. Gilman, R. P. Kropholler and S. Schleimer, Groups whose word problems are not semilinear, Groups Complex. Cryptol. 10 (2018), no. 2, 53–62. 10.1515/gcc-2018-0010Suche in Google Scholar

[5] M.-C. Ho, The word problem of n is a multiple context-free language, Groups Complex. Cryptol. 10 (2018), no. 1, 9–15. Suche in Google Scholar

[6] J. E. Hopcroft and J. D. Ullman, Formal Languages and Their Relation to Automata, Addison-Wesley, Reading, 1969. Suche in Google Scholar

[7] R. C. Lyndon and P. E. Schupp, Combinatorial Group Theory, Classics Math., Springer, Berlin, 2001. 10.1007/978-3-642-61896-3Suche in Google Scholar

[8] D. E. Muller and P. E. Schupp, Context-free languages, groups, the theory of ends, second-order logic, tiling problems, cellular automata, and vector addition systems, Bull. Amer. Math. Soc. (N. S.) 4 (1981), no. 3, 331–334. 10.1090/S0273-0979-1981-14904-1Suche in Google Scholar

[9] C. Pollard, Generalized phrase structure grammars, head grammars, and natural language, Ph.D. thesis, Stanford University, 1984. Suche in Google Scholar

[10] S. Salvati, Multiple context-free grammars. Course 1: Motivations and formal definition, 2011. Suche in Google Scholar

[11] S. Salvati, MIX is a 2-MCFL and the word problem in 2 is captured by the IO and the OI hierarchies, J. Comput. System Sci. 81 (2015), no. 7, 1252–1277. 10.1016/j.jcss.2015.03.004Suche in Google Scholar

[12] H. Seki, T. Matsumura, M. Fujii and T. Kasami, On multiple context-free grammars, Theoret. Comput. Sci. 88 (1991), no. 2, 191–229. 10.1016/0304-3975(91)90374-BSuche in Google Scholar

[13] J. Stallings, Group Theory and Three-dimensional Manifolds, Yale University Press, New Haven, 1971. Suche in Google Scholar

Received: 2018-05-22
Published Online: 2019-04-30
Published in Print: 2019-05-01

© 2019 Walter de Gruyter GmbH, Berlin/Boston

Heruntergeladen am 22.12.2025 von https://www.degruyterbrill.com/document/doi/10.1515/gcc-2019-2004/html
Button zum nach oben scrollen