1. Freezing 1-Tag Systems with States
- Author
-
Fazekas, Szilárd Zsolt and Seki, Shinnosuke
- Subjects
Computer Science - Formal Languages and Automata Theory - 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., Comment: In Proceedings AFL 2023, arXiv:2309.01126
- Published
- 2023
- Full Text
- View/download PDF