23 research outputs found
On the Properties of Language Classes Defined by Bounded Reaction Automata
Reaction automata are a formal model that has been introduced to investigate
the computing powers of interactive behaviors of biochemical reactions([14]).
Reaction automata are language acceptors with multiset rewriting mechanism
whose basic frameworks are based on reaction systems introduced in [4]. In this
paper we continue the investigation of reaction automata with a focus on the
formal language theoretic properties of subclasses of reaction automata, called
linearbounded reaction automata (LRAs) and exponentially-bounded reaction
automata (ERAs). Besides LRAs, we newly introduce an extended model (denoted by
lambda-LRAs) by allowing lambda-moves in the accepting process of reaction, and
investigate the closure properties of language classes accepted by both LRAs
and lambda-LRAs. Further, we establish new relationships of language classes
accepted by LRAs and by ERAs with the Chomsky hierarchy. The main results
include the following : (i) the class of languages accepted by lambda-LRAs
forms an AFL with additional closure properties, (ii) any recursively
enumerable language can be expressed as a homomorphic image of a language
accepted by an LRA, (iii) the class of languages accepted by ERAs coincides
with the class of context-sensitive languages.Comment: 23 pages with 3 figure
Reaction Automata
Reaction systems are a formal model that has been introduced to investigate
the interactive behaviors of biochemical reactions. Based on the formal
framework of reaction systems, we propose new computing models called reaction
automata that feature (string) language acceptors with multiset manipulation as
a computing mechanism, and show that reaction automata are computationally
Turing universal. Further, some subclasses of reaction automata with space
complexity are investigated and their language classes are compared to the ones
in the Chomsky hierarchy.Comment: 19 pages, 6 figure
Direction of collaborative problem solving-based STEM learning by learning analytics approach.
The purpose of this study was to explore the factors that might affect learning performance and collaborative problem solving (CPS) awareness in science, technology, engineering, and mathematics (STEM) education. We collected and analyzed data on important factors in STEM education, including learning strategy and learning behaviors, and examined their interrelationships with learning performance and CPS awareness, respectively. Multiple data sources, including learning tests, questionnaire feedback, and learning logs, were collected and examined following a learning analytics approach. Significant positive correlations were found for the learning behavior of using markers with learning performance and CPS awareness in group discussion, while significant negative correlations were found for some factors of STEM learning strategy and learning behaviors in pre-learning with some factors of CPS awareness. The results imply the importance of an efficient approach to using learning strategies and functional tools in STEM education
Reaction automata working in sequential manner
Based on the formal framework of reaction systems by Ehrenfeucht and Rozenberg
[Fund. Inform. 75 (2007) 263–280], reaction automata (RAs)
have been introduced by Okubo et al. [Theoret. Comput. Sci.
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 computation powers. In order to explore Turing
machines (TMs) that correspond to RAs, we also introduce a new variant of TMs with
restricted workspace, called s(n)-restricted TMs. The
main results include the following: (i) for a language L and a function
s(n), L is accepted by an
s(n)-bounded RA with λ-input mode in
sequential manner if and only if L is accepted by a
log s(n)-bounded one-way TM; (ii) if a language
L is accepted by a linear-bounded RA in sequential manner, then
L is also accepted by a P automaton [Csuhaj−Varju and Vaszil, vol. 2597
of Lect. Notes Comput. Sci. Springer (2003) 219–233.] in sequential
manner; (iii) the class of languages accepted by linear-bounded RAs in maximally parallel
manner is incomparable to the class of languages accepted by RAs in sequential manner