Results 11 to 20 of about 2,427,716 (339)
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
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
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
Formal language constrained path problems [PDF]
SIAM Journal on Computing, 1998 Summary: Given an alphabet \(\Sigma\), a (directed) graph \(G\) whose edges are weighted and \(\Sigma\)-labeled, and a formal language \(L\subseteq\Sigma^*\), the formal-language-constrained shortest/simple path problem consists of finding a shortest (simple) path \(p\) in \(G\) complying with the additional constraint that \(l(p) \in L\). Here \(l(p)\)
Barrett, C., Jacob, R., Marathe, M.
openaire +2 more sources
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
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
Digraph Complexity Measures and Applications in Formal Language Theory [PDF]
, 2011 We investigate structural complexity measures on digraphs, in particular the cycle rank. This concept is intimately related to a classical topic in formal language theory, namely the star height of regular languages.
Hermann Gruber +1 more
core +4 more sources
Formal Basis of a Language Universal
Computational Linguistics, 2021 Steedman (2020) proposes as a formal universal of natural language grammar that grammatical permutations of the kind that have given rise to transformational rules are limited to a class known to mathematicians and computer scientists as the “separable ...
Miloš Stanojević, Mark Steedman
doaj +1 more source
Machine Translation: Phrase-Based, Rule-Based and Neural Approaches with Linguistic Evaluation
Cybernetics and Information Technologies, 2017 In this article we present a novel linguistically driven evaluation method and apply it to the main approaches of Machine Translation (Rule-based, Phrase-based, Neural) to gain insights into their strengths and weaknesses in much more detail than ...
Macketanz Vivien +4 more
doaj +1 more source
From ACT-ONE to Miranda, a Translation Experiment [PDF]
, 1997 It is now almost universally acknowledged that the data language ACT-ONE associated with the formal description technique LOTOS is inappropriate for the purpose of OSI formal description.
Bowman, Howard +2 more
core +2 more sources