Finite witnesses and the width hierarchy for language generation

Source: arxiv:2609.10525, url:https://github.com/xiaoyulics/language-generation-characterization Authors: Xiaoyu Li, Andi Han, Jiaojiao Jiang, Junbin Gao, Shuangping Li, Peng Zhang Status: verified Main declarations: GenLimit.FiniteWitness.Simplified.ordinary_iff_finiteWitnesses Tags: language-generation, learning-theory, finite-witnesses, combinatorics MSC: 68Q32, 68Q45