Results 41 to 50 of about 2,393,512 (361)
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 +3 more sources
Language skills differences between adults without formal education and low formal education
Psicologia: Reflexão e Crítica, 2022 Background The influence of education on cognition has been extensively researched, particularly in countries with high levels of illiteracy. However, the impact of low education in all cognitive functions appears to differ.
Ariane Pereira, Karin Zazo Ortiz
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 +3 more
doaj +1 more source
Proceedings 15th International Conference on Automata and Formal Languages [PDF]
EPTCS 252, 2017, 2017 The 15th International Conference on Automata and Formal Languages (AFL 2017) was held in Debrecen, Hungary, from September 4 to 6, 2017. The conference was organized by the Faculty of Informatics of the University of Debrecen and the Faculty of Informatics of the E\"otv\"os Lor\'and University of Budapest.
arxiv +1 more source
Controlling Translation Formality Using Pre-trained Multilingual Language Models [PDF]
arXiv, 2022 This paper describes the University of Maryland's submission to the Special Task on Formality Control for Spoken Language Translation at \iwslt, which evaluates translation from English into 6 languages with diverse grammatical formality markers. We investigate to what extent this problem can be addressed with a \textit{single multilingual model ...
arxiv
Proceedings 14th International Conference on Automata and Formal Languages [PDF]
EPTCS 151, 2014, 2014 The 14th International Conference Automata and Formal Languages (AFL 2014) was held in Szeged, Hungary, from the 27th to the 29th of May, 2014. The conference was organized by the Department of Foundations of Computer Science of the University of Szeged. Topics of interest covered the theory and applications of automata and formal languages and related
arxiv +1 more source
On the Properties of Language Classes Defined by Bounded Reaction Automata [PDF]
, 2012 Reaction automata are a formal model that has been introduced to investigate the computing powers of interactive behaviors of biochemical reactions([14]).
Kobayashi, Satoshi +2 more
core +2 more sources
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 +27 more
core +2 more sources
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
Formal semantics for natural language
Anuario del Seminario de Filología Vasca "Julio de Urquijo", 1993 -
Kepa Korta, José María Korta
doaj +1 more source