Freezing 1-Tag Systems with States

Szilárd Zsolt Fazekas, Shinnosuke Seki

We study 1-tag systems with states obeying the freezing property that only allows constant bounded number of rewrites of symbols. We look at examples of languages accepted by such…