It is well known that reversible finite automata do not accept all regular languages, that reversible pushdown automata do not accept all deterministic context-free languages, and that reversible queue automata are less powerful than deterministic real-time queue automata. It is of significant interest from both a practical and theoretical point of view to close these gaps. We here extend these reversible models by a preprocessing unit which is basically a reversible injective and length-preserving finite state transducer. It turns out that preprocessing the input using such weak devices increases the computational power of reversible deterministic finite automata to the acceptance of all regular languages, whereas for reversible pushdown automata the accepted family of languages lies strictly in between the reversible deterministic context-free languages and the real-time deterministic context-free languages. For reversible queue automata the preprocessing of the input leads to machines that are stronger than real-time reversible queue automata, but less powerful than real-time deterministic (irreversible) queue automata. Moreover, it is shown that the computational power of all three types of machines is not changed by allowing the preprocessing finite state transducer to work irreversibly. Finally, we examine the closure properties of the family of languages accepted by such machines.

中文翻译：

---

通过预处理提升可逆下推和排队机

众所周知，可逆有限自动机不接受所有常规语言，可逆下推自动机不接受所有确定性上下文无关语言，可逆队列自动机不如确定性实时队列自动机强大。从实践和理论的角度来看，缩小这些差距具有重要意义。我们在这里通过一个预处理单元扩展这些可逆模型，该预处理单元基本上是一个可逆的内射和长度保持的有限状态换能器。事实证明，使用这种弱设备对输入进行预处理增加了可逆确定性有限自动机的计算能力，从而可以接受所有常规语言，而对于可逆下推自动机，可接受的语言家族严格介于可逆确定性上下文无关语言和实时确定性上下文无关语言之间。对于可逆队列自动机，输入的预处理导致机器比实时可逆队列自动机更强大，但不如实时确定性（不可逆）队列自动机强大。此外，结果表明，通过允许预处理有限状态传感器不可逆地工作，所有三种类型机器的计算能力都没有改变。最后，我们检查了此类机器接受的语言家族的闭包属性。对于可逆队列自动机，输入的预处理导致机器比实时可逆队列自动机更强大，但不如实时确定性（不可逆）队列自动机强大。此外，结果表明，通过允许预处理有限状态传感器不可逆地工作，所有三种类型机器的计算能力都没有改变。最后，我们检查了此类机器接受的语言家族的闭包属性。对于可逆队列自动机，输入的预处理导致机器比实时可逆队列自动机更强大，但不如实时确定性（不可逆）队列自动机强大。此外，结果表明，通过允许预处理有限状态传感器不可逆地工作，所有三种类型机器的计算能力都没有改变。最后，我们检查了此类机器接受的语言家族的闭包属性。