步自动机
Step Automata
AI总结：
本文提出步自动机和步图灵机，旨在扩展传统自动机和图灵机，允许执行一步原子动作，解决计算与并发结合的问题。
摘要：
在计算领域，曾有图灵机和后来成熟的自动机理论。对于低层次并行计算，存在图灵机的变种，如双带图灵机和多带图灵机。在文献中，计算与并发的结合仍然活跃，例如自动机与进程的结合，以及将并发引入自动机：所谓的pomset自动机和分支自动机。但图灵机与并发自动机的结合仍然缺失。在本文中，我们提出了步自动机和步图灵机（STM）的概念，这是传统自动机和经典图灵机的自然扩展，仅允许自动机或图灵机执行一步原子动作（不涉及 pairwise 的偏序）。
英文摘要：
For computation, there existed Turing machine and later-matured automata theory. For low-level parallel computation, there existed variants of Turing machine, such as two-tapes Turing machine and multi-tapes Turing machine. In the literature, the combination of computation and concurrency is still active, such the combination of automata and processes, and the introduction of concurrency into automata: the so-called pomset automata and branch automata. But the linkage of Turing machine and concurrent automaton is still absent. In this paper, we propose the concepts of step automaton and step Turing machine (STM), which a natural extension to traditional automaton and classical Turing machine just allowing an automaton or Turing machine to execute a step of atomic actions (without partial orders pairwise).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
