Results 1 to 10 of about 112,498 (311)
A Theory of Formal Choreographic Languages [PDF]
Logical Methods in Computer Science, 2023 We introduce a meta-model based on formal languages, dubbed formal choreographic languages, to study message-passing systems. Our framework allows us to generalise standard constructions from the literature and to compare them. In particular, we consider
Franco Barbanera +2 more
doaj +13 more sources
Formal Languages, Formally and Coinductively [PDF]
Logical Methods in Computer Science, 2017 Traditionally, formal languages are defined as sets of words. More recently, the alternative coalgebraic or coinductive representation as infinite tries, i.e., prefix trees branching over the alphabet, has been used to obtain compact and elegant proofs ...
Dmitriy Traytel
doaj +6 more sources
Advances in Electrical and Computer Engineering, 2021 This paper presents the framework for the creation of various domain-specific languages for verification of the functional requirements. When it comes to Requirement Engineering and the process of Validation and Verification of the requirements, there ...
POPIC, S., TESLIC, N., BJELICA, M. Z.
doaj +1 more source
Development and Application of a Software Tool to Support the Teaching of Formal Languages
Открытое образование (Москва), 2021 The purpose of the article is to present the results of a study on the possibility of using a deductive approach in the study of programming languages (from the theory of formal languages to specific programming languages) and the development of a ...
A. P. Sergushicheva, E. N. Davydova
doaj +1 more source
Formal Language for GeoSpelling [PDF]
Journal of Computing and Information Science in Engineering, 2015 In order to tackle the ambiguities of geometrical product specification (GPS), GeoSpelling language has been developed to express the semantics of specifications. A detailed syntax of GeoSpelling is proposed in this paper. A specification is defined as a sequence of operations on the skin model.
Ballu, Alex +2 more
openaire +3 more sources
Learning Picture Languages Using Dimensional Reduction
Inteligencia Artificial, 2023 One-dimensional (string) formal languages and their learning have been studied in considerable depth. However, the knowledge of their two-dimensional (picture) counterpart, which retains similar importance, is lacking.
David Kubon +2 more
doaj +1 more source
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