Results 21 to 30 of about 2,322,283 (342)
Digraph Complexity Measures and Applications in Formal Language Theory [PDF]
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
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
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
A Context-Free Grammar of One Rhythmic Model of Russian Verse
A formal model of the Russian verse based on the accentual segmentation of its structure is offered and considered. A context-free grammar (in N. Chomsky’s sense) which generates correct rhythmic forms of the presented model is constructed.
V. N. Boykov
doaj +1 more source
From ACT-ONE to Miranda, a Translation Experiment [PDF]
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
A Component-Based Formal Language Workbench [PDF]
The CBS framework supports component-based specification of programming languages. It aims to significantly reduce the effort of formal language specification, and thereby encourage language developers to exploit formal semantics more widely.
Peter D. Mosses
doaj +1 more source
The Language Exchange Programme: plugging the gap in formal learning [PDF]
In the context of distance language learning, speaking is frequently perceived as the most challenging skill; this paper reports on a 12-week summer language exchange programme providing students with new ways of practising their oral abilities. Students
Brammerts +9 more
core +1 more source
The Critical Survey of Evolution in Common Persian Slang Lexicography “By Emphasizing on Twelve Common Persian Slang Lexicons” [PDF]
From Ghaghara era up to now, around 60 lexicons gathered but unawareness to methods and configuration of methods in micro and major structure for lexicography, the old approach to slang, low vision to slang in comparison with formal language, fear of ...
Ghodsie Rezvanian +2 more
doaj +1 more source
On Formal Specification of Maple Programs [PDF]
This paper is an example-based demonstration of our initial results on the formal specification of programs written in the computer algebra language MiniMaple (a substantial subset of Maple with slight extensions). The main goal of this work is to define
Khan, Muhammad Taimoor +1 more
core +1 more source
Successful biomedical data mining and information extraction require a complete picture of biological phenomena such as genes, biological processes, and diseases; as these exist on different levels of granularity.
Verschelde Jean-Luc +4 more
doaj +1 more source

