当前位置: X-MOL 学术Theory Comput. Syst. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
On the Expressive Power of Stateless Ordered Restart-Delete Automata
Theory of Computing Systems ( IF 0.5 ) Pub Date : 2021-03-13 , DOI: 10.1007/s00224-020-10028-3
Friedrich Otto

Stateless ordered restart-delete automata (stl-ORD-automata) are studied. These are obtained from the stateless ordered restarting automata (stl-ORWW-automata) by introducing an additional restart-delete operation, which, based on the surrounding context, deletes a single letter. While the stl-ORWW-automata accept the regular languages, we show that the swift stl-ORD-automata yield a characterization for the class of context-free languages. Here a stl-ORD-automaton is called swift if it can move its window to any position after performing a restart. We also study the descriptional complexity of swift stl-ORD-automata and relate them to limited context restarting automata.



中文翻译:

论无状态有序重启删除自动机的表达能力

研究了无状态有序重启删除自动机(stl-ORD-automata)。这些是从无状态有序重新启动自动机(stl-ORWW-automata)中获得的,方法是引入附加的重新启动-删除操作,该操作会根据周围的上下文删除单个字母。尽管stl-ORWW-automata接受常规语言,但我们显示,快速的stl-ORD-automata产生了无上下文语言类的特征。如果stl-ORD-自动机在执行重新启动后可以将其窗口移动到任何位置,则称其为swift。我们还研究了快速stl-ORD-自动机的描述复杂性,并将它们与有限的上下文重新启动自动机联系起来。

更新日期:2021-03-15
down
wechat
bug