English
Related papers

Related papers: Operational characterization of scattered MCFLs --…

200 papers

This paper is a continuation of the study of topological properties of omega context free languages (omega-CFL). We proved before that the class of omega-CFL exhausts the hierarchy of Borel sets of finite rank, and that there exist some…

Logic in Computer Science · Computer Science 2010-06-02 Olivier Finkel

Assessing language proficiency is essential for education, as it enables instruction tailored to learners needs. This paper investigates the use of Large Language Models (LLMs) for automatically classifying German texts according to the…

Computation and Language · Computer Science 2025-12-09 Elias-Leander Ahlers , Witold Brunsmann , Malte Schilling

In single-core processors, concurrency requires that multiple processes be interleaved into a single thread of execution by a scheduler. The language-theoretic operation that corresponds to this is the shuffle of two languages: the set of…

Formal Languages and Automata Theory · Computer Science 2026-05-14 Corentin Barloy , Michaël Cadilhac , Kyle Ockerlund

We prove a Kleene theorem for higher-dimensional automata. It states that the languages they recognise are precisely the rational subsumption-closed sets of finite interval pomsets. The rational operations on these languages include a…

Formal Languages and Automata Theory · Computer Science 2024-12-18 Uli Fahrenberg , Christian Johansen , Georg Struth , Krzysztof Ziemiański

The rational index of a context-free language $L$ is a function $f(n)$, such that for each regular language $R$ recognized by an automaton with $n$ states, the intersection of $L$ and $R$ is either empty or contains a word shorter than…

Formal Languages and Automata Theory · Computer Science 2020-12-08 Ekaterina Shemetova , Alexander Okhotin , Semyon Grigorev

Following a seminar the present author gave to an Automata Theory course to computer science students, it will be presented, in a very synthetic and mostly selfcontained way, the principal properties of context free languages (CFL), with…

Formal Languages and Automata Theory · Computer Science 2024-03-26 Gabriele Gullà

A new language model for speech recognition is presented. The model develops hidden hierarchical syntactic-like structure incrementally and uses it to extract meaningful information from the word history, thus complementing the locality of…

Computation and Language · Computer Science 2007-05-23 Ciprian Chelba , Frederick Jelinek

In this article, we provide three coalgebraic characterizations of the class of context-free languages, each based on the idea of adding coalgebraic structure to an existing algebraic structure by specifying output-derivative pairs. Final…

Logic in Computer Science · Computer Science 2015-07-01 Joost Winter , Jan J. M. Rutten , Marcello M. Bonsangue

Multilingual pretrained language models (MPLMs) exhibit multilinguality and are well suited for transfer across languages. Most MPLMs are trained in an unsupervised fashion and the relationship between their objective and multilinguality is…

Computation and Language · Computer Science 2021-09-17 Sheng Liang , Philipp Dufter , Hinrich Schütze

An F-system is a computational model that performs a folding operation on words of a given language, following directions coded on words of another given language. This paper considers the case in which both given languages are regular, and…

Formal Languages and Automata Theory · Computer Science 2022-05-23 Jorge C. Lucero , Sławek Staworko

Multilingual Language Models (\MLLMs) such as mBERT, XLM, XLM-R, \textit{etc.} have emerged as a viable option for bringing the power of pretraining to a large number of languages. Given their success in zero-shot transfer learning, there…

Computation and Language · Computer Science 2021-12-24 Sumanth Doddapaneni , Gowtham Ramesh , Mitesh M. Khapra , Anoop Kunchukuttan , Pratyush Kumar

Spoken language understanding (SLU) tasks involve diverse skills that probe the information extraction, classification and/or generation capabilities of models. In this setting, task-specific training data may not always be available. While…

Computation and Language · Computer Science 2025-10-06 Neeraj Agrawal , Sriram Ganapathy

Lexicon-free speech recognition naturally deals with the problem of out-of-vocabulary (OOV) words. In this paper, we show that character-based language models (LM) can perform as well as word-based LMs for speech recognition, in word error…

Computation and Language · Computer Science 2019-09-25 Tatiana Likhomanenko , Gabriel Synnaeve , Ronan Collobert

Automata operating on pairs of words were introduced as an alternative way of capturing acceptance of regular $\omega$-languages. Families of DFAs and lasso automata operating on such pairs followed, giving rise to minimisation algorithms,…

Formal Languages and Automata Theory · Computer Science 2024-03-13 Mike Cruchten

FC is a first-order logic that reasons over all factors of a finite word using concatenation, and can define non-regular languages like that of all squares (ww). In this paper, we establish that there are regular languages that are not…

Logic in Computer Science · Computer Science 2025-12-23 Sam M. Thompson , Nicole Schweikardt , Dominik D. Freydenberger

The framework developed in the present paper provides a formal ground to generate and study explainable categorizations of sets of entities, based on the epistemic attitudes of individual agents or groups thereof. Based on this framework,…

Artificial Intelligence · Computer Science 2024-12-30 Marcel Boersma , Krishna Manoorkar , Alessandra Palmigiano , Mattia Panettiere , Apostolos Tzimoulis , Nachoem Wijnberg

Large language models (LLMs) demonstrate exceptional performance on tasks requiring complex linguistic abilities, such as reference disambiguation and metaphor recognition/generation. Although LLMs possess impressive capabilities, their…

Computation and Language · Computer Science 2025-09-16 Yi Jing , Zijun Yao , Hongzhu Guo , Lingxu Ran , Xiaozhi Wang , Lei Hou , Juanzi Li

Orthographic similarities across languages provide a strong signal for probabilistic decipherment, especially for closely related language pairs. The existing decipherment models, however, are not well-suited for exploiting these…

Computation and Language · Computer Science 2015-08-11 Iftekhar Naim , Daniel Gildea

The capabilities and limitations of BERT and similar models are still unclear when it comes to learning syntactic abstractions, in particular across languages. In this paper, we use the task of subordinate-clause detection within and across…

Computation and Language · Computer Science 2022-05-25 Dmitry Nikolaev , Sebastian Padó

Literal movement grammars (LMGs) provide a general account of extraposition phenomena through an attribute mechanism allowing top-down displacement of syntactical information. LMGs provide a simple and efficient treatment of complex…

cmp-lg · Computer Science 2016-08-31 Annius V. Groenink