Alternation of Restarting Automata
international conference on machine learning(2020)
摘要
Restarting automata have been introduced as a formal tool to model the analysis by reduction, which is a linguistic technique to analyze sentences of natural languages. In earlier works, we have only studied the nondeterministic version of restarting automata. In order to obtain a model of parallel computations, here we propose the notion of alternating restarting automata that have the power of universal choice in addition to existential choice. In this paper, we study the expressive power of alternating restarting automata, and investigate the inclusion relations between the classes of languages accepted by various types of alternating restarting automata. Finally, we summarize these inclusion results by a hierarchy in a diagram.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要