Reaction automata working in sequential manner
Based on the formal framework of reaction systems by Ehrenfeucht and Rozenberg [75 (2007) 263–280], reaction automata (RAs) have been introduced by Okubo [429 (2012) 247–257], as language acceptors with multiset rewriting mechanism. In this paper, we continue the investigation of RAs with a focus on the two manners of rule application: maximally parallel and sequential. Considering restrictions on the workspace and the -input mode, we introduce the corresponding variants of RAs and investigate their...