中文
相关论文

相关论文: On Even Linear Indexed Languages with a Reduction …

200 篇论文

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…

形式语言与自动机理论 · 计算机科学 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 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

计算与语言 · 计算机科学 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.…

形式语言与自动机理论 · 计算机科学 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…

人工智能 · 计算机科学 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…

群论 · 数学 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…

计算与语言 · 计算机科学 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…

计算与语言 · 计算机科学 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.…

计算机科学中的逻辑 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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,…

形式语言与自动机理论 · 计算机科学 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).…

计算与语言 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

计算与语言 · 计算机科学 2017-09-18 Dafydd Gibbon , Sascha Griffiths
‹ 上一页 1 2 3 10 下一页 ›