{"id":"arxiv/2608.18813","url":"https://arxiv.org/abs/2608.18813","tags":["cs.FL","cs.AI","cs.LO","math.LO"],"score":0,"title":"A strengthening of the MCFL-ness of $O_2$","domain":"cs.FL","source":"arxiv","authors":["Marco B. Caminati"],"reviews":0,"subject":"cs.FL","summary":"In the last years, a number of proofs of the fact that $O_2$ is a multiple context-free grammar (MCFG) were given. Such results can be exploited in the fields of both computational linguistics and of computational algebra. Here, we focus on a recent such proof spelled in terms of factorizations of string tuples, and give a new result with a stronger characterization of such factorizations than in existing theorems.","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-19","reactions":{}}