English
Related papers

Related papers: Idefix-Closed Languages and Their Application in C…

200 papers

While most research in Gold-style learning focuses on learning formal languages, we consider the identification of computable structures, specifically equivalence structures. In our core model the learner gets more and more information…

Logic · Mathematics 2019-02-22 Ekaterina Fokina , Timo Kötzing , Luca San Mauro

We introduce an extension of hedge automata called bidimensional context-free hedge automata. The class of unranked ordered tree languages they recognize is shown to be preserved by rewrite closure with inverse-monadic rules. We also extend…

Logic in Computer Science · Computer Science 2012-12-21 Florent Jacquemard , Michael Rusinowitch

For any context-free grammar, we build a transition diagram, that is, a finite directed graph with labeled arcs, which describes the work of the grammar. This approach is new, and it is different from previously known graph models. We…

Formal Languages and Automata Theory · Computer Science 2013-05-30 Krasimir Yordzhev

In this paper, a hierarchical context definition is added to an existing clustering algorithm in order to increase its robustness. The resulting algorithm, which clusters contexts and events separately, is used to experiment with different…

cmp-lg · Computer Science 2008-02-03 J. P. Ueberla , I. R. Gransden

Pumping lemmas are created to prove that given languages are not belong to certain language classes. There are several known pumping lemmas for the whole class and some special classes of the context-free languages. In this paper we prove…

Formal Languages and Automata Theory · Computer Science 2010-12-02 Géza Horváth , Benedek Nagy

Lexical resources are crucial for cross-linguistic analysis and can provide new insights into computational models for natural language learning. Here, we present an advanced database for comparative studies of words with multiple meanings,…

Computation and Language · Computer Science 2025-08-22 Annika Tjuka , Robert Forkel , Christoph Rzymski , Johann-Mattis List

Dictionaries are inherently circular in nature. A given word is linked to a set of alternative words (the definition) which in turn point to further descendants. Iterating through definitions in this way, one typically finds that…

Computation and Language · Computer Science 2011-03-14 David Levary , Jean-Pierre Eckmann , Elisha Moses , Tsvi Tlusty

The standard HPSG analysis of Germanic verb clusters can not explain the observed narrow-scope readings of adjuncts in such verb clusters. We present an extension of the HPSG analysis that accounts for the systematic ambiguity of the scope…

cmp-lg · Computer Science 2008-02-03 Gertjan van Noord , Gosse Bouma

We analyze here a particular kind of linguistic network where vertices representwords and edges stand for syntactic relationships between words. The statisticalproperties of these networks have been recently studied and various features…

Statistical Mechanics · Physics 2007-05-23 Ramon Ferrer i Cancho , Andrea Capocci , Guido Caldarelli

We investigate the proof theory of regular expressions with fixed points, construed as a notation for (omega-)context-free grammars. Starting with a hypersequential system for regular expressions due to Das and Pous, we define its extension…

Logic in Computer Science · Computer Science 2024-04-26 Anupam Das , Abhishek De

Discovering pattern sets or global patterns is an attractive issue from the pattern mining community in order to provide useful information. By combining local patterns satisfying a joint meaning, this approach produces patterns of higher…

Machine Learning · Computer Science 2011-07-19 Patrice Boizumault , Bruno Crémilleux , Mehdi Khiari , Samir Loudni , Jean-Philippe Métivier

Cross-bifix-free sets are sets of words such that no prefix of any word is a suffix of any other word. In this paper, we introduce a general constructive method for the sets of cross-bifix-free binary words of fixed length. It enables us to…

Formal Languages and Automata Theory · Computer Science 2011-12-15 Stefano Bilotta , Elisa Pergola , Renzo Pinzani

An account of utterance interpretation in discourse needs to face the issue of how the discourse context controls the space of interacting preferences. Assuming a discourse processing architecture that distinguishes the grammar and…

cmp-lg · Computer Science 2008-02-03 Megumi Kameyama

Large language models have shown unprecedented abilities in generating linguistically coherent and syntactically correct natural language output. However, they often return incorrect and inconsistent answers to input questions. Due to the…

Databases · Computer Science 2023-12-27 Jasmin Mousavi , Arash Termehchy

We treat here the interrelation between formal languages and those dynamical systems that can be described by cellular automata (CA). There is a well-known injective map which identifies any CA-invariant subshift with a central formal…

chao-dyn · Physics 2008-02-03 G. Troll

We attach to each weak model category $\mathcal{M}$ a class of first order formulas about the fibrant objects of $\mathcal{M}$ whose validity is invariant under homotopies and weak equivalences. This is a generalization of the classical…

Category Theory · Mathematics 2025-10-06 César Bardomiano Martínez , Simon Henry

Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occurs-check) and increased expressivity (cyclic terms can…

Programming Languages · Computer Science 2007-05-23 Roberto Bagnara , Roberta Gori , Patricia M. Hill , Enea Zaffanella

Recent research on cross-lingual word embeddings has been dominated by unsupervised mapping approaches that align monolingual embeddings. Such methods critically rely on those embeddings having a similar structure, but it was recently shown…

Computation and Language · Computer Science 2021-12-28 Aitor Ormazabal , Mikel Artetxe , Aitor Soroa , Gorka Labaka , Eneko Agirre

We study subsets of groups and monoids defined by language-theoretic means, generalizing the classical approach to the word problem. We expand on results by Herbst from 1991 to a more general setting, and for a class of languages…

Group Theory · Mathematics 2025-04-01 André Carvalho , Carl-Fredrik Nyberg-Brodda

An implemented approach which couples a constraint-based phonology component with an articulatory speech synthesizer is proposed. Articulatory gestures ensure a tight connection between both components, as they comprise both…

cmp-lg · Computer Science 2008-02-03 Markus Walther , Bernd J. Kroeger
‹ Prev 1 8 9 10 Next ›