Results 1 to 10 of about 852,128 (332)
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
Formal Languages, Formally and Coinductively
, 2016 ISSN:1868 ...
Dmitriy Traytel
openalex +4 more sources
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 +1 more source
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
Formalizing Homogeneous Language Embeddings [PDF]
Electronic Notes in Theoretical Computer Science, 2010 The cost of implementing syntactically distinct Domain Specific Languages (DSLs) can be reduced by homogeneously embedding them in a host language in cooperation with its compiler. Current homogeneous embedding approaches either restrict the embedding of multiple DSLs in order to provide safety guarantees, or allow multiple DSLs to be embedded but ...
Clark, Tony, Tratt, Laurence
openaire +6 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
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
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