English
Related papers

Related papers: How to Demonstrate Metalinearness and Regularity b…

200 papers

The emergence of a variety of graph-based meaning representations (MRs) has sparked an important conversation about how to adequately represent semantic structure. These MRs exhibit structural differences that reflect different theoretical…

Computation and Language · Computer Science 2020-05-01 Lucia Donatelli , Jonas Groschwitz , Alexander Koller , Matthias Lindemann , Pia Weißenhorn

Rooted phylogenetic networks are often constructed by combining trees, clusters, triplets or characters into a single network that in some well-defined sense simultaneously represents them all. We review these four models and investigate…

Populations and Evolution · Quantitative Biology 2010-04-30 Leo van Iersel , Steven Kelk

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

This paper proves that two differently defined rooted binary trees are isomorphic. The first tree is one associated to a version of Farey sequences where the vertices correspond to the open intervals formed by two successive terms in the…

Combinatorics · Mathematics 2025-12-16 Makoto Nagata , Yoshinori Takei

Arc-standard derivations over projective dependency trees can be interpreted as the incremental construction of lexicalized ordered trees with contiguous yields. Each \textsc{shift}, \textsc{leftarc}, and \textsc{rightarc} transition…

Computation and Language · Computer Science 2026-05-28 Zihao Huang , Ai Ka Lee , Jungyeul Park

We extend the theory of minimal absent words to (rooted and unrooted) trees, having edges labeled by letters from an alphabet $\Sigma$ of cardinality $\sigma$. We show that the set $\text{MAW}(T)$ of minimal absent words of a rooted (resp.…

Data Structures and Algorithms · Computer Science 2019-10-31 Gabriele Fici , Paweł Gawrychowski

We consider uniform random permutations drawn from a family enumerated through generating trees. We develop a new general technique to establish a central limit theorem for the number of consecutive occurrences of a fixed pattern in such…

Probability · Mathematics 2021-12-22 Jacopo Borga

We prove that finding a rooted subtree with at least $k$ leaves in a digraph is a fixed parameter tractable problem. A similar result holds for finding rooted spanning trees with many leaves in digraphs from a wide family $\cal L$ that…

Data Structures and Algorithms · Computer Science 2007-05-23 Noga Alon , Fedor Fomin , Gregory Gutin , Michael Krivelevich , Saket Saurabh

Generating a long, coherent text such as a paragraph requires a high-level control of different levels of relations between sentences (e.g., tense, coreference). We call such a logical connection between sentences as a (paragraph) flow. In…

Computation and Language · Computer Science 2019-09-02 Dongyeop Kang , Hiroaki Hayashi , Alan W Black , Eduard Hovy

Concatenation hierarchies are classifications of regular languages. All such hierarchies are built through the same construction process: start from an initial class of languages and build new levels using two generic operations.…

Formal Languages and Automata Theory · Computer Science 2019-02-14 Thomas Place , Marc Zeitoun

Distributional learning provides a framework for studying the learnability of structured languages from positive data. In this paper, we extend this framework to graph languages generated by fixed-interface clause systems. We formulate…

Formal Languages and Automata Theory · Computer Science 2026-04-30 Takayoshi Shoudai , Satoshi Matsumoto , Yusuke Suzuki , Tomoyuki Uchida

Higher-order grammars are extensions of regular and context-free grammars, where non-terminals may take parameters. They have been extensively studied in 1980's, and restudied recently in the context of model checking and program…

Formal Languages and Automata Theory · Computer Science 2016-05-23 Kazuyuki Asada , Naoki Kobayashi

Given a finite planar graph, a grove is a spanning forest in which every component tree contains one or more of a specified set of vertices (called nodes) on the outer face. For the uniform measure on groves, we compute the probabilities of…

Probability · Mathematics 2011-06-30 Richard W. Kenyon , David B. Wilson

We study a pumping lemma for the word/tree languages generated by higher-order grammars. Pumping lemmas are known up to order-2 word languages (i.e., for regular/context-free/indexed languages), and have been used to show that a given…

Formal Languages and Automata Theory · Computer Science 2017-05-31 Kazuyuki Asada , Naoki Kobayashi

We introduce bonding grammars, a graph grammar formalism developed to model DNA computation by means of graph transformations. It is a modification of fusion grammars introduced by Kreowski, Kuske and Lye in 2017. Bonding is a graph…

Formal Languages and Automata Theory · Computer Science 2024-08-07 Tikhon Pshenitsyn

We study the question of whether a given regular language of finite trees can be defined in first-order logic. We develop an algebraic approach to address this question and we use it to derive several necessary and sufficient conditions for…

Formal Languages and Automata Theory · Computer Science 2024-07-02 Achim Blumensath

Document-level relation extraction aims to discover relations between entities across a whole document. How to build the dependency of entities from different sentences in a document remains to be a great challenge. Current approaches…

Computation and Language · Computer Science 2021-03-16 Jiaxin Pan , Min Peng , Yiyan Zhang

Several methods are known for parsing languages generated by Tree Adjoining Grammars (TAGs) in O(n^6) worst case running time. In this paper we investigate which restrictions on TAGs and TAG derivations are needed in order to lower this…

Computation and Language · Computer Science 2007-05-23 Giorgio Satta , William Schuler

Let $G$ be a 3-connected planar graph. Define the co-tree of a spanning tree $T$ of $G$ as the graph induced by the dual edges of $E(G)-E(T)$. The well-known cut-cycle duality implies that the co-tree is itself a tree. Let a $k$-tree be a…

Discrete Mathematics · Computer Science 2024-06-05 Christian Ortlieb , Jens M. Schmidt

The formalism of synchronous tree-adjoining grammars, a variant of standard tree-adjoining grammars (TAG), was intended to allow the use of TAGs for language transduction in addition to language specification. In previous work, the…

cmp-lg · Computer Science 2008-02-03 Stuart M. Shieber
‹ Prev 1 8 9 10 Next ›