Results 61 to 70 of about 157,848 (165)
Recognizability in Stochastic Monoids
Ratio Mathematica, 2014 Stochastic monoids and stochastic congruences are introduced and the syntactic stochastic monoid M L associated to a subset L of a stochastic monoid M is constructed.
A. Kalampakas +2 more
doaj
An introduction to finite automata and their connection to logic [PDF]
, 2011 This is a tutorial on finite automata. We present the standard material on determinization and minimization, as well as an account of the equivalence of finite automata and monadic second-order logic.
Straubing, Howard, Weil, Pascal
core
, 2014 We examine languages of unranked forests definable using the temporal operators EF and EX. We characterize the languages definable in this logic, and various fragments thereof, using the syntactic forest algebras introduced by Bojanczyk and Walukiewicz ...
H Straubing +3 more
core +1 more source
What is category theory to cognitive science? Compositional representation and comparison. [PDF]
Front Psychol, 2022 Phillips S.
europepmc +1 more source
Graph Partitions in Chemistry. [PDF]
Entropy (Basel), 2023 Michos I, Raptis V.
europepmc +1 more source
Bounds on the variety generated by completely regular syntactic monoids from finite prefix codes
Theoretical Computer Science, 1994 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Automatic differentiation of uncertainties: an interval computational differentiation for first and higher derivatives with implementation. [PDF]
PeerJ Comput Sci, 2023 Dawood H, Megahed N.
europepmc +1 more source
Operads for complex system design specification, analysis and synthesis. [PDF]
Proc Math Phys Eng Sci, 2021 Foley JD +3 more
europepmc +1 more source
A System for Converting and Recovering Texts Managed as Structured Information. [PDF]
Sci Rep, 2022 Verdesoto ESB, Ortiz MYR, Herrera RJG.
europepmc +1 more source
Generative Grammar: A Meaning First Approach. [PDF]
Front Psychol, 2020 Sauerland U, Alexiadou A.
europepmc +1 more source