The EDT0L nonmembership conjecture for rank-one free inverse monoid word problems
Let FIM1\operatorname{FIM}_1FIM1 be the free inverse monoid of rank 111. Write WP(FIM1)\operatorname{WP}(\operatorname{FIM}_1)WP(FIM1) and ι(FIM1)\iota(\operatorname{FIM}_1)ι(FIM1) for its two word problem langua…