English
Related papers

Related papers: On Even Linear Indexed Languages with a Reduction …

200 papers

The family, L(INDLIN), of languages generated by linear indexed grammars has been studied in the literature. It is known that the Parikh image of every language in L(INDLIN) is semi-linear. However, there are bounded semi linear languages…

Formal Languages and Automata Theory · Computer Science 2022-12-08 Flavio D'Alessandro , Oscar H. Ibarra , Ian McQuillan

Indexed languages are interesting in computational linguistics because they are the least class of languages in the Chomsky hierarchy that has not been shown not to be adequate to describe the string set of natural language sentences. We…

cmp-lg · Computer Science 2008-02-03 Tore Burheim

Indexed languages are a classical notion in formal language theory, which has attracted attention in recent decades due to its role in higher-order model checking: They are precisely the languages accepted by order-2 pushdown automata. The…

Formal Languages and Automata Theory · Computer Science 2026-05-28 Richard Mandel , Corto Mascle , Georg Zetzsche

We consider languages defined by signed grammars which are similar to context-free grammars except productions with signs associated to them are allowed. As a consequence, the words generated also have signs. We use the structure of the…

Formal Languages and Automata Theory · Computer Science 2023-09-19 Ömer Eğecioğlu , Benedek Nagy

Many of the thousands of attested languages share common configurations of features, creating a spectrum from typologically very rare (e.g., object-verb-subject word order) or impossible languages to very common combinations of features…

Computation and Language · Computer Science 2026-04-30 Nadine El-Naggar , Tatsuki Kuribayashi , Ted Briscoe

We propose a scalable framework for deciding, proving, and explaining (in-)equivalence of context-free grammars. We present an implementation of the framework and evaluate it on large data sets collected within educational support systems.…

Formal Languages and Automata Theory · Computer Science 2026-04-09 Marko Schmellenkamp , Thomas Zeume , Sven Argo , Sandra Kiefer , Cedric Siems , Fynn Stebel

We study learning of indexed families from positive data where a learner can freely choose a hypothesis space (with uniformly decidable membership) comprising at least the languages to be learned. This abstracts a very universal learning…

We investigate the global GRAMMAR constraint over restricted classes of context free grammars like deterministic and unambiguous context-free grammars. We show that detecting disentailment for the GRAMMAR constraint in these cases is as…

Artificial Intelligence · Computer Science 2009-06-30 George Katsirelos , Sebastian Maneth , Nina Narodytska , Toby Walsh

This article presents a combinatorial result on indexed languages which was inspired by an attempt to understand the structure of groups with indexed language word problem. We show that a sufficiently long word in an indexed language can be…

Group Theory · Mathematics 2009-09-25 Robert Gilman

Humans acquire language through implicit learning, absorbing complex patterns without explicit awareness. While LLMs demonstrate impressive linguistic capabilities, it remains unclear whether they exhibit human-like pattern recognition…

Computation and Language · Computer Science 2025-04-01 Xiaomeng Ma , Qihui Xu

With approximately 7,000 languages spoken worldwide, current large language models (LLMs) support only a small subset. Prior research indicates LLMs can learn new languages for certain tasks without supervised data. We extend this…

Computation and Language · Computer Science 2026-01-29 Zhaolin Li , Jan Niehues

Linearly bounded Turing machines have been mainly studied as acceptors for context-sensitive languages. We define a natural class of infinite automata representing their observable computational behavior, called linearly bounded graphs.…

Logic in Computer Science · Computer Science 2007-05-25 Arnaud Carayol , Antoine Meyer

We consider variations on the following problem: given an NFA M and a pattern p, does there exist an x in L(M) such that p matches x? We consider the restricted problem where M only accepts a finite language. We also consider the variation…

Formal Languages and Automata Theory · Computer Science 2009-06-18 Narad Rampersad , Jeffrey Shallit

In this paper we consider the class of lambda-nondeterministic linear automata as a model of the class of linear languages. As usual in other automata models, lambda-moves do not increase the acceptance power. The main contribution of this…

Formal Languages and Automata Theory · Computer Science 2016-12-01 Benjamín Bedregal

We develop a formal grammatical system called a link grammar, show how English grammar can be encoded in such a system, and give algorithms for efficiently parsing with a link grammar. Although the expressive power of link grammars is…

cmp-lg · Computer Science 2008-02-03 Daniel D. K. Sleator , Davy Temperley

In this paper, we continue the research on the power of contextual grammars with selection languages from subfamilies of the family of regular languages. We investigate infix-, prefix-, and suffix-closed languages (referred to as…

Formal Languages and Automata Theory · Computer Science 2025-07-22 Marvin Ködding , Bianca Truthe

Indexed languages are a generalization of context-free languages and form a proper subset of context-sensitive languages. We propose to generalize to indexed languages several well known characterizations of context-free languages: namely,…

Formal Languages and Automata Theory · Computer Science 2015-11-11 Severine Fratani , El Makki Voundy

While large models achieve impressive results, their learning dynamics are far from understood. Many domains of interest, such as natural language syntax, coding languages, arithmetic problems, are captured by context-free grammars (CFGs).…

Computation and Language · Computer Science 2026-03-02 Laura Ying Schulz , Daniel Mitropolsky , Tomaso Poggio

Context-free languages can be characterized in several ways. This article studies projective linearisations of languages of simple dependency trees, i.e., dependency trees in which a node can govern at most one node with a given syntactic…

Formal Languages and Automata Theory · Computer Science 2024-01-17 Carles Cardó

Multilinear Grammar provides a framework for integrating the many different syntagmatic structures of language into a coherent semiotically based Rank Interpretation Architecture, with default linear grammars at each rank. The architecture…

Computation and Language · Computer Science 2017-09-18 Dafydd Gibbon , Sascha Griffiths
‹ Prev 1 2 3 10 Next ›