Results 21 to 30 of about 1,997,974 (296)
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
IEEE Access, 2022 Alvis is a formal modelling language developed primarily for modelling concurrent systems including real-time systems. The prepared model is compiled, and the resulting runnable model allows, e.g., to generate the state space and to verify the model ...
Marcin Szpyrka +2 more
doaj +1 more source
Algorithms for Converting Finite Automata Corresponding to Infinite Iterative Trees
Современные информационные технологии и IT-образование, 2021 In this paper, we work with some different variants of finite automata, each of which corresponds to an infinite iterative tree constructed for some given morphism.
Mikhail Abramyan, Boris Melnikov
doaj +1 more source
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 lower bound on the length of the shortest word not in uf(L).
Paul C. Bell +2 more
openaire +4 more sources
The dynamic complexity of formal languages [PDF]
ACM Transactions on Computational Logic, 2012 The article investigates the power of the dynamic complexity classes D yn FO, D yn QF, and D yn PROP over string languages. The latter two classes contain problems that can be maintained using quantifier-free first-order updates, with and without auxiliary functions ...
Gelade, Wouter +2 more
openaire +6 more sources
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 ...
Tony Clark 0001, Laurence Tratt
openaire +6 more sources
Unique decipherability in formal languages [PDF]
Theoretical Computer Science, 2020 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Paul C. Bell +2 more
openaire +4 more sources
Model‐based validation of diagnostic software with application in automotive systems
IET Cyber-systems and Robotics, 2021 Software validation aims to ensure that a particular software product fulfils its intended purpose, and needs to be performed against both software requirement as well as its implementation (i.e. product). However, for diagnostic software (i.e.
Jun Chen, Ramesh S
doaj +1 more source
Overview on Agent-Based Social Modelling and the Use of Formal Languages [PDF]
, 2014 The use of agent-based modelling and simulation techniques in the social sciences has flourished in the recent decades. The main reason is that the object of study in these disciplines, human society present or past, is difficult to analyse through ...
Kaplan, Adriana +4 more
core +1 more source
Community languages in higher education : towards realising the potential [PDF]
, 2008 This study, Community Languages in Higher Education: Towards Realising the Potential, forms part of the Routes into Languages initiative funded by the Higher Education Funding Council in England (HEFCE) and the Department for Children, Schools and ...
McPake, Joanna +3 more
core +3 more sources