Translating Latin legalese: between dynamic equivalence and formal correspondence. A comparative study case of Latin legal terms and maxims in English, Italian and Polish language [PDF]
, 2021 The aim of this article is to outline some theoretical problems related to the incompatibility of formal use of several Latin expressions present in English, Italian and Polish lexis as well as to propose solutions for facing practical cases of translation troubles based on the experience of the author gathered as academic, court translator and lay ...
openaire +5 more sources
Testing the Equivalence of Regular Languages [PDF]
Workshop on Descriptional Complexity of Formal Systems, 2009 The minimal deterministic finite automaton is generally used to determine regular languages equality. Antimirov and Mosses proposed a rewrite system for deciding regular expressions equivalence of which Almeida et al.
Marco Almeida +2 more
semanticscholar +1 more source
VERBS OF DRINKING IN ENGLISH AND IN SERBIAN AS SOURCES OF CONCEPTUAL METAPHORS AND METONYMIES
Filolog, 2022 The aim of this paper is to analyse verbs of drinking in English and in Serbian that are used to express various drinking processes, but that can also be used to express various other processes not related to drinking. In other words, the paper analyses
Jelena Lj. Biljetina
doaj +1 more source
TYPOLOGY OF TRANSLATION ERRORS IN PROFESSIONAL INTERPRETING [PDF]
Вісник університету ім. А. Нобеля. Серія Філологічні науки, 2021 The article considers the problem of typology of errors in professional interpretating based on the analysis of approaches and their classifications. Minding the main parameters of target text assessment (the degree of preserving the main content of ...
Nataliia V. Zinukova
doaj +1 more source
Bialgebraic Reasoning on Stateful Languages [PDF]
Proc. ACM Program. Lang.Reasoning about program equivalence in imperative languages is notoriously challenging, as the presence of states (in the form of variable stores) fundamentally increases the observational power of program terms.
Sergey Goncharov +4 more
semanticscholar +1 more source
Formations of Monoids, Congruences, and Formal Languages
Scientific Annals of Computer Science, 2015 The main goal in this paper is to use a dual equivalence in automata theory started in [RBBCL13] and developed in [BBCLR14] to prove a general version of the Eilenberg-type theorem presented in [BBPSE12].
A. Ballester-Bolinches +3 more
semanticscholar +1 more source
Revisiting Graph Types in HyperLMNtal: A Modeling Language for Hypergraph Rewriting
IEEE Access, 2021 Hypergraphs are a highly expressive data structure for modeling and programming, for which high-level language constructs are yet to be established. HyperLMNtal is a modeling language based on hypergraph rewriting.
Alimujiang Yasen, Kazunori Ueda
doaj +1 more source
Non locality, Topology, Formal languages: New Global Tools to Handle Large Data Sets
International Conference on Conceptual Structures, 2013 The basic idea that stems out of this work is that large sets of data can be handled through an organized set of mathematical and computational tools rooted in a global geometric vision of data space allowing to explore the structure and hidden ...
E. Merelli, M. Rasetti
semanticscholar +1 more source
ABSOLUTE EQUIVALENCE OF PHRASEOLOGISMS WITH THE COMPONENT EYE IN ITALIAN, SPANISH AND SERBIAN
Filolog, 2023 This paper deals with a contrastive and conceptual analysis of somatic phraseologisms with the component eye in Italian, Spanish and Serbian, with the aim to find absolute cross-linguistic equivalents, i.e.
Marija N. Vujović
doaj +1 more source
Examining the Equivalence of Words in “To Turn Green from Love” (Translation of Excerpts from Nizar Qabbani’s Poems into Persian) Based on the Principle of Synonymy [PDF]
پژوهشهای ترجمه در زبان و ادبیات عربی, 2023 The poem's phrases possess significant semantic depth, with each one conveying numerous concealed and enigmatic connotations. Therefore, comprehending its meaning necessitates a meticulous analysis of the poetry.
Oveis Mohammadi
doaj +1 more source