Results 21 to 30 of about 184 (122)
Locality and Centrality: The Variety ZG [PDF]
Logical Methods in Computer Science, 2023 We study the variety ZG of monoids where the elements that belong to a group are central, i.e., commute with all other elements. We show that ZG is local, that is, the semidirect product ZG * D of ZG by definite semigroups is equal to LZG, the variety of
Antoine Amarilli, Charles Paperman
doaj +1 more source
Group Fuzzy Languages and its Generalizations
Ratio Mathematica, 2023 In fuzzy language theory, every monoid is the syntactic monoid of some fuzzy language. By using this result the properties of fuzzy language can be studied by the algebraic properties of the syntactic monoids. There are so many methods for studying fuzzy
Archana Vasudevan Pillai Prasanna +2 more
doaj +1 more source
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership [PDF]
Logical Methods in Computer Science, 2020 We study two extensions of FO2[
Andreas Krebs +3 more
doaj +1 more source
Similarities of Jonsson spectra’s classes
Қарағанды университетінің хабаршысы. Математика сериясы, 2023 The study of syntactic and semantic properties of a first-order language, generally speaking, for incomplete theories, is one of the urgent problems of mathematical logic.
A.R. Yeshkeyev +2 more
doaj +1 more source
Piecewise testable tree languages [PDF]
Logical Methods in Computer Science, 2012 This paper presents a decidable characterization of tree languages that can be defined by a boolean combination of Sigma_1 sentences. This is a tree extension of the Simon theorem, which says that a string language can be defined by a boolean combination
Mikołaj Bojańczyk +2 more
doaj +1 more source
Minimal state automata for detecting a β globin gene mutation
International Journal of Applied Mathematics and Computer Science, 2021 Beta-thalassemia is an autosomal recessive blood disorder characterized by abnormalities in the synthesis of β globin. Together with α globin, it is a subunit of globin protein, called hemoglobin, located inside our red blood cells to deliver oxygen from
Ferdania Devi Fitri +4 more
doaj +1 more source
An Automata Theoretic Approach to the Zero-One Law for Regular Languages: Algorithmic and Logical Aspects [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 A zero-one language L is a regular language whose asymptotic probability converges to either zero or one. In this case, we say that L obeys the zero-one law.
Ryoma Sin'ya
doaj +1 more source
Regular semigroups with D = R as syntactic monoids of prefix codes
Theoretical Computer Science, 1976 G. Lallement
openaire +2 more sources
Efficient Aggregation Processing in the Presence of Duplicately Detected Objects in WSNs
Journal of Sensors, Volume 2019, Issue 1, 2019., 2019 Wireless sensor networks (WSNs) have received increasing attention in the past decades. Owing to an enhancement of MEMS technology, various types of sensors such as motion detectors, infrared radiation detectors, ultrasonic sensors (sonar), and magnetometers can detect the objects within a certain range.
Jun-Ki Min +3 more
wiley +1 more source
Quantitative Analysis of Software Approximate Correctness
Mathematical Problems in Engineering, Volume 2015, Issue 1, 2015., 2015 Parameterized bisimulation provides an abstract description of software correctness. In real world situations, however, many software products are approximately correct. To characterize the approximate correctness, we generalize the parameterized bisimulation to numerical version and probabilistic setting.
Yanfang Ma, Fabio Tramontana
wiley +1 more source