Results 31 to 40 of about 6,057,560 (362)
Coalgebraic Automata Theory: Basic Results [PDF]
Logical Methods in Computer Science, 2008 We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata operating on infinite objects. Let F be any set functor that preserves weak pullbacks.
C. Kupke, Y. Venema
doaj +1 more source
AutomataMind: A Serious Game Proposal for the Automata Theory Learning
ICEC-JCSG, 2019 Digital games facilitate the teaching-learning process, arousing the interest of students in various areas of competence. This paper introduces AutomataMind, a game that seeks to stimulate the player logical thinking skills, while presenting the concepts
Manuella Vieira, V. T. Sarinho
semanticscholar +1 more source
Learning a Partially-Known Discrete Event System
IEEE Access, 2020 There are many cases in which our understanding of a system may be limited due to its complexity or lack of access into the entire system, leaving us with only partial system knowledge.
Ira Wendell Bates +2 more
doaj +1 more source
Evolutionary Information Theory
Information, 2013 Evolutionary information theory is a constructive approach that studies information in the context of evolutionary processes, which are ubiquitous in nature and society.
Mark Burgin
doaj +1 more source
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems [PDF]
IEEE Transactions on Automatic Control, 2014 We consider temporal logic verification of (possibly nonlinear) dynamical systems evolving over continuous state spaces. Our approach combines automata-based verification and the use of so-called barrier certificates.
T. Wongpiromsarn +2 more
semanticscholar +1 more source
Representing Complex Evolving Spatial Networks: Geographic Network Automata
ISPRS International Journal of Geo-Information, 2020 Many real-world spatial systems can be conceptualized as networks. In these conceptualizations, nodes and links represent system components and their interactions, respectively. Traditional network analysis applies graph theory measures to static network
Taylor Anderson, Suzana Dragićević
doaj +1 more source
Free Quantum Field Theory from Quantum Cellular Automata [PDF]
Foundations of physics, 2015 After leading to a new axiomatic derivation of quantum theory (see D’Ariano et al. in Found Phys, 2015), the new informational paradigm is entering the domain of quantum field theory, suggesting a quantum automata framework that can be regarded as an ...
A. Bisio +3 more
semanticscholar +1 more source
Finite automata over algebraic structures: models and some methods of analysis [PDF]
Computer Science Journal of Moldova, 2015 In this paper some results of research in two new trends of finite automata theory are presented. For understanding the value and the aim of these researches some short retrospective analysis of development of finite automata theory is given.
Volodymyr V. Skobelev +1 more
doaj
On the Problem of Computing the Probability of Regular Sets of Trees [PDF]
, 2015 We consider the problem of computing the probability of regular languages of infinite trees with respect to the natural coin-flipping measure. We propose an algorithm which computes the probability of languages recognizable by \emph{game automata}.
Michalewski, Henryk, Mio, Matteo
core +4 more sources
To some structural properties of ∞ - languages
Ratio Mathematica, 2022 Properties of catenation of sequences of finite (words) and infinite ( lengths are largely studied in formal language theory. These operations are derived from the mechanism how they are accepted or generated by the corresponding devices.
Ivan Mezník
doaj +1 more source