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.
Funding source: National Science Foundation
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. Search 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_12Search in Google Scholar
[3] M. J. Dunwoody, The accessibility of finitely presented groups, Invent. Math. 81 (1985), no. 3, 449–457. 10.1007/BF01388581Search 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-0010Search in Google Scholar
[5]
M.-C. Ho,
The word problem of
[6] J. E. Hopcroft and J. D. Ullman, Formal Languages and Their Relation to Automata, Addison-Wesley, Reading, 1969. Search 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-3Search 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-1Search in Google Scholar
[9] C. Pollard, Generalized phrase structure grammars, head grammars, and natural language, Ph.D. thesis, Stanford University, 1984. Search in Google Scholar
[10] S. Salvati, Multiple context-free grammars. Course 1: Motivations and formal definition, 2011. Search in Google Scholar
[11]
S. Salvati,
MIX is a 2-MCFL and the word problem in
[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-BSearch in Google Scholar
[13] J. Stallings, Group Theory and Three-dimensional Manifolds, Yale University Press, New Haven, 1971. Search in Google Scholar
© 2019 Walter de Gruyter GmbH, Berlin/Boston