Freezing 1-Tag Systems with States
Formal Languages and Automata Theory
2023-09-07 v1
Abstract
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 systems, the accepting power of the model, as well as certain closure properties and decision problems. Finally we discuss a restriction of the system where the working alphabet must match the input alphabet.
Cite
@article{arxiv.2309.02753,
title = {Freezing 1-Tag Systems with States},
author = {Szilárd Zsolt Fazekas and Shinnosuke Seki},
journal= {arXiv preprint arXiv:2309.02753},
year = {2023}
}
Comments
In Proceedings AFL 2023, arXiv:2309.01126