Results 31 to 40 of about 2,427,716 (339)

Formal Languages, Formally and Coinductively

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   +6 more sources

A Context-Free Grammar of One Rhythmic Model of Russian Verse

Моделирование и анализ информационных систем, 2015
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

Assessing the Usability of ChatGPT for Formal English Language Learning

European Journal of Investigation in Health, Psychology and Education, 2023
Recently, the emerging technologies have been constantly shaping the education domain, especially the use of artificial intelligence (AI) for language learning, which has attracted significant attention.
Sarang Shaikh, Sule Yildirim Yayilgan, Blanka Klimova, Marcel Pikhart   +3 more
doaj   +1 more source

Formal Model Engineering for Embedded Systems Using Real-Time Maude

, 2011
This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems.
A. Boronat, A. Boronat, A. Boronat, A. Boronat, A. Cerone, E. Lien, F. Wang, Francisco Durán, J. E. Rivera, J. E. Rivera, J. Eker, J. Meseguer, J. Srba, K. Bae, K. Bae, M. AlTurki, M. Clavel, M. Katelman, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, Peter Csaba Ölveczky, R. Alur, S. P. Miller, Vlad Rusu   +27 more
core   +2 more sources

The Language Exchange Programme: plugging the gap in formal learning [PDF]

, 2017
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, Council of Europe, Cziko, Dörnyei, Hall, Lewis, O’Dowd, Ryan, Vassallo, Voller   +9 more
core   +1 more source

Cross-language variation in the acceptability of vowelless nonwords

Frontiers in Communication
This study examines the acceptability of voweled and vowelless nonwords produced by a native speaker of Tashlhiyt (a Moroccan Amazigh language) across listeners from five different language groups: L1 Tashlhiyt, L1 Tarifit, L1 Moroccan Arabic, L1 English,
Georgia Zellou, Mohamed Afkir, Mohamed Lahrouchi, Karim Bensoukas   +3 more
doaj   +1 more source

Oralidade e discurso jornalístico

Filologia e Linguística Portuguesa, 1999
The purpose of this papers is to observe how the oralidade is present in the written speech, falling back upon the journalistic language, much more receptive to those transformations and exemplifying with picked up texts of the newspapers Folha de S ...
Maria Lúcia da Cunha Victório de Oliveira Andrade
doaj   +1 more source

High-level methodologies for grammar engineering, introduction to the special issue

Journal of Language Modelling, 2015
Grammar Engineering is the task of designing and implementing linguistically motivated electronic descriptions of natural language (so-called grammars).
Denys Duchier, Yannick Parmentier
doaj   +1 more source

Declarative Specification [PDF]

, 1996
Deriving formal specifications from informal requirements is extremely difficult since one has to overcome the conceptual gap between an application domain and the domain of formal specification methods.
David Robertson, Fuchs, Fuchs, Kowalski, Kramer, Luqi, Norbert E. Fuchs, Robertson, Robertson, Robertson, Schwitter, Sterling   +11 more
core   +2 more sources

Finite Systems Handling Language (YAFOLL message 1)

Studia Humana, 2015
The concept a finite multi-carrier algebraic system (FMAS) as well as a language for handling systems such as YAFOLL (Yet Another First Order Logic Language) are introduced.
Shkotin Alex
doaj   +1 more source