Formations of Monoids, Congruences, and Formal Languages [PDF]
Scientific Annals of Computer Science, 2015 The main goal in this paper is to use a dual equivalence in automata theory started in [25] and developed in [3] to prove a general version of the Eilenberg-type theorem presented in [4].
A. Ballester-Bolinches +3 more
doaj +1 more source
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Many project-specific languages, including in particular filtering languages, are defined using non-formal specifications written in natural languages. This leads to ambiguities and errors in the specification of those languages. This paper reports on an
Gurvan Le Guernic +2 more
doaj +1 more source
Basic Psychological Need Satisfaction and Students’ Well-being: The Mediating Role of Subjective Vitality [PDF]
Iranian Rehabilitation Journal, 2023 Objectives: The self-determination theory (SDT) posits that basic psychological needs (BPNs) are indispensable and vital nutrients for well-being. The present research was done to apply SDT to understand students’ well-being, which proposes that the ...
Mohammad Saleem +2 more
doaj
Breakthrough Contributions of Romance Languages to Formal Linguistics
Isogloss, 2023 Breakthrough Contributions of Romance Languages to Formal Linguistics: Introduction to the Special ...
Cilene Rodrigues +1 more
doaj +1 more source
Functional Automata - Formal Languages for Computer Science Students [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 An introductory formal languages course exposes advanced undergraduate and early graduate students to automata theory, grammars, constructive proofs, computability, and decidability.
Marco T. Morazán, Rosario Antunez
doaj +1 more source
Big Picture on Privacy Enhancing Technologies in e-Health: A Holistic Personal Privacy Workflow
Information, 2020 The collection and processing of personal data offers great opportunities for technological advances, but the accumulation of vast amounts of personal data also increases the risk of misuse for malicious intentions, especially in health care.
Stefan Becher +3 more
doaj +1 more source
Formal Choreographic Languages
, 2022 We introduce formal choreography languages as a meta-model to study message-passing systems. This allows us to compare and generalise standard constructions and properties from the literature. In particular, we consider notions such as global view, local view, and projections from the former to the latter.
Barbanera, F, Lanese, I, Tuosto, E
openaire +5 more sources
Finite Automata with Generalized Acceptance Criteria [PDF]
Discrete Mathematics & Theoretical Computer Science, 2001 We examine the power of nondeterministic finite automata with acceptance of an input word defined by a leaf language, i.e., a condition on the sequence of leaves in the automaton's computation tree.
Timo Peichl, Heribert Vollmer
doaj +1 more source
The languages of artificial intelligence, the languages of metaphysics, and the languages of faith
Scientia et Fides, 2014 The formalization of the languages of mathematics has led to the formal languages of computer science and artificial intelligence. This article studies a few semantic properties of the formal languages of artificial intelligence, which I call languages ...
Javier Leach
doaj +1 more source
New decidable upper bound of the second level in the Straubing-Therien concatenation hierarchy of star-free languages [PDF]
Discrete Mathematics & Theoretical Computer Science, 2010 special issue dedicated to the second edition of the conference AutoMathA: from Mathematics to ...
Jorge Almeida, Ondrej Klima
doaj +1 more source