Results 11 to 20 of about 20,355 (135)
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 external presentations of infinite graphs [PDF]
, 2009 The vertices of a finite state system are usually a subset of the natural numbers. Most algorithms relative to these systems only use this fact to select vertices. For infinite state systems, however, the situation is different: in particular, for such
Morvan, Christophe
core +6 more sources
Varieties of Cost Functions. [PDF]
, 2016 Regular cost functions were introduced as a quantitative generalisation of regular languages, retaining many of their equivalent characterisations and decidability properties.
Daviaud, L., Kuperberg, D., Pin, J-E.
core +5 more sources
Varieties of Languages in a Category
, 2015 Eilenberg's variety theorem, a centerpiece of algebraic automata theory, establishes a bijective correspondence between varieties of languages and pseudovarieties of monoids.
Adamek, Jiri +3 more
core +1 more source
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 +5 more sources
One-Way Reversible and Quantum Finite Automata with Advice
, 2014 We examine the characteristic features of reversible and quantum computations in the presence of supplementary external information, known as advice.
Aaronson +29 more
core +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Brain Health, EarlyView.ABSTRACT Introduction Residential environments have been linked to brain structure, particularly in children, older adults, and clinical populations. However, little is known about how different dimensions of the housing environment relate to brain white matter microstructure in healthy adults, or whether specific environmental factors show stronger ...
Keisuke Kokubun +3 more
wiley +1 more source
The Canadian Journal of Chemical Engineering, EarlyView.Abstract We develop a delay‐aware estimation and control framework for a non‐isothermal axial dispersion tubular reactor modelled as a coupled parabolic‐hyperbolic PDE system with recycle‐induced state delay. The infinite‐dimensional dynamics are preserved without spatial discretization by representing the delay as a transport PDE and adopting a late ...
Behrad Moadeli, Stevan Dubljevic
wiley +1 more source
Automata Minimization: a Functorial Approach
, 2020 In this paper we regard languages and their acceptors - such as deterministic or weighted automata, transducers, or monoids - as functors from input categories that specify the type of the languages and of the machines to categories that specify the type
Colcombet, Thomas, Petrişan, Daniela
core +3 more sources