TY  - RPRT
TI  - Automata Equipped with Auxiliary Data Structures and Regular Realizability Problems
AU  - Alexander Rubtsov
AU  - Mikhail Vyalyi
PY  - 2022
UR  - https://arxiv.org/abs/2210.03934
ID  - 2210.03934
ER  -