Results 11 to 20 of about 2,322,283 (342)
Hyperbolic tilings and formal language theory [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 In this paper, we try to give the appropriate class of languages to which belong various objects associated with tessellations in the hyperbolic plane.
Maurice Margenstern, K.G. Subramamian
doaj +4 more sources
Formal Semantics of the CHART Transformation Language [PDF]
, 2011 The relational data model is based on sets of tuples, i.e. it does not allow duplicate tuples an a relation. Many database languages and systems do require multi-set semantics though, either because of functional requirements or because of the high costs
Mol, Maarten de, Rensink, Arend
core +8 more sources
A Theory of Formal Choreographic Languages
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 notions such as global view, local view, and projections from the former to the latter.
Barbanera, F, Lanese, I, Tuosto, E
openaire +6 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 of classic results in language theory.
openaire +8 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 lower bound on the length of the shortest word not in uf(L).
Paul C. Bell +2 more
openaire +2 more sources
On formal universals in phonology [PDF]
, 2009 Understanding the universal aspects of human language structure requires comparison at multiple levels of analysis. While Evans & Levinson (E&L) focus mostly on substantive variation in language, equally revealing insights can come from studying formal ...
Nevins, A
core +1 more source
Language and language : Approaches to metaphor
Corela, 2016 The work of Pierre-Yves Raccah is characterized by great precision and rigour; this is well illustrated by the terminological distinction he has established between natural language (such as French or English), and formal language as employed by ...
John Stewart
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
Transformation of UML Behavioral Diagrams to Support Software Model Checking [PDF]
, 2014 Unified Modeling Language (UML) is currently accepted as the standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry.
Júnior, Valdivino Alexandre de Santiago +2 more
core +2 more sources
Some undecidable problems about the trace-subshift associated to a Turing machine [PDF]
Discrete Mathematics & Theoretical Computer Science, 2015 We consider three problems related to dynamics of one-tape Turing machines: Existence of blocking configurations, surjectivity in the trace, and entropy positiveness. In order to address them, a reversible two-counter machine is simulated by a reversible
Anahí Gajardo +2 more
doaj +1 more source