Algebraic Closure of Matrix Sets Recognized by 1-VASS

Rida Ait El Manssour, Mahsa Naraghi, Mahsa Shirmohammadi +1

It is known how to compute the Zariski closure of a finitely generated monoid of matrices and, more generally, of a set of matrices specified by a regular language. This result was…