Results 11 to 20 of about 864,679 (285)
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
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 +8 more sources
Dynamic Complexity of Formal Languages [PDF]
ACM Transactions on Computational Logic, 2008 The paper investigates the power of the dynamic complexity classes DynFO, DynQF and DynPROP over string languages. The latter two classes contain problems that can be maintained using quantifier-free first-order updates, with and without auxiliary ...
Gelade, Wouter +2 more
core +12 more sources
Factorization in Formal Languages [PDF]
, 2015 We consider several novel aspects of unique factorization in formal languages. We reprove the familiar fact that the set uf(L) of words having unique factorization into elements of L is regular if L is regular, and from this deduce an quadratic upper and
A Lempel +9 more
core +4 more sources
Formal Model Engineering for Embedded Systems Using Real-Time Maude [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems.
Peter Csaba Ölveczky
doaj +4 more sources
Toward Formal Models and Languages for Verifiable Multi-Robot Systems [PDF]
Frontiers in Robotics and AI, 2018 Incorrect operation of a multi-robot system (MRS) may not only lead to unsatisfactory results, but it can also cause economic losses and jeopardize safety.
Rocco De Nicola +2 more
doaj +4 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