English
Related papers

Related papers: Flattened Catalan Words

200 papers

We extend the {\lambda}-calculus with constructs suitable for relational and functional-logic programming: non-deterministic choice, fresh variable introduction, and unification of expressions. In order to be able to unify…

Programming Languages · Computer Science 2021-03-02 Pablo Barenbaum , Federico Lochbaum , Mariana Milicich

We discuss the properties of the Hankel transformation of a sequence whose elements are the sums of consecutive generalized Catalan numbers and find their values in the closed form.

Combinatorics · Mathematics 2007-05-23 Predrag Rajkovic , Marko D. Petkovic , Paul Barry

For each $p>0$ we define by recurrence a triangle $T^p(n,k)$ whose rows sum to the Fuss-Catalan numbers $ \frac{1}{p n+1}\binom{pn+1}{n}$, generalizing the known Catalan triangle corresponding to the case $p=2$. (In fact, $T^p(n,k)$ has an…

Combinatorics · Mathematics 2024-02-26 Francesca Aicardi

The downward closure of a language is the set of all (not necessarily contiguous) subwords of its members. It is well-known that the downward closure of every language is regular. Moreover, recent results show that downward closures are…

Formal Languages and Automata Theory · Computer Science 2016-05-11 Georg Zetzsche

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

We explain how the moments of the (weight function of the) Askey Wilson polynomials are related to the enumeration of the staircase tableaux introduced by the first and fourth authors. This gives us a direct combinatorial formula for these…

Combinatorics · Mathematics 2010-08-16 Sylvie Corteel , Richard Stanley , Dennis Stanton , Lauren Williams

When reasoning about formal objects whose structures involve binding, it is often necessary to analyze expressions relative to a context that associates types, values, and other related attributes with variables that appear free in the…

Logic in Computer Science · Computer Science 2024-07-10 Terrance Gray , Gopalan Nadathur

We summarize some combinatoric problems solved by the higher Catalan numbers. These problems are generalizations of the combinatoric problems solved by the Catalan numbers. The generating function of the higher Catalan numbers appeared…

Combinatorics · Mathematics 2007-05-23 V. U. Pierce

We analyze the rank-frequency distributions of words in selected English and Polish texts. We compare scaling properties of these distributions in both languages. We also study a few small corpora of Polish literary texts and find that for…

Computation and Language · Computer Science 2015-11-11 Stanislaw Drozdz , Jaroslaw Kwapien , Adam Orczyk

In this note, we derive an alternative recursive formula for the sums of powers of integers involving the Stirling numbers of the first kind. As a remarkable by-product, we provide a non-recursive definition of the Catalan numbers.

Combinatorics · Mathematics 2021-03-09 José Luis Cereceda

In this note we introduce several instructive examples of bijections found between several different combinatorially defined sequences of sets. Each sequence has cardinalities given by the Catalan numbers. Our results answer some questions…

Combinatorics · Mathematics 2013-03-01 Stefan Forcey , Mohammadmehdi Kafashan , Mehdi Maleki , Michael Strayer

We introduce the theory of normal ordered grammars, which gives a natural generalization of the normal ordering problem. To illustrate the main idea, we explore normal ordered grammars associated with the Eulerian polynomials and the…

Combinatorics · Mathematics 2024-04-24 Shi-Mei Ma , Toufik Mansour , Jean Yeh , Yeong-Nan Yeh

Human language can be described as a complex network of linked words. In such a treatment, each distinct word in language is a vertex of this web, and neighboring words in sentences are connected by edges. It was recently found (Ferrer and…

Statistical Mechanics · Physics 2007-05-23 S. N. Dorogovtsev , J. F. F. Mendes

We develop a theory of descent and forms of tensor categories over arbitrary fields. We describe the general scheme of classification of such forms using algebraic and homotopical language, and give examples of explicit classification of…

Quantum Algebra · Mathematics 2012-02-07 Pavel Etingof , Shlomo Gelaki

In this paper, we generalize the Catalan number to the $(n,k)$-th Catalan numbers and find a combinatorial description that the $(n,k)$-th Catalan numbers is equal to the number of partitions of $n(k-1)+2$ polygon by $(k+1)$-gon where all…

Combinatorics · Mathematics 2015-01-28 Dongseok Kim

We investigate the relationship between finite terms in {\lambda}-letrec, the {\lambda}-calculus with letrec, and the infinite {\lambda}-terms they express. We say that a lambda-letrec term expresses a lambda-term if the latter can be…

Programming Languages · Computer Science 2016-10-20 Jan Rochel

The collection of reflecting hyperplanes of a finite Coxeter group is called a reflection arrangement and it appears in many subareas of combinatorics and representation theory. We focus on the problem of counting regions of reflection…

Combinatorics · Mathematics 2023-09-01 Priyavrat Deshpande , Krishna Menon

This paper summarises a set of methodologies and techniques for the fast construction of multilingual WordNets. The English WordNet is used in this approach as a backbone for Catalan and Spanish WordNets and as a lexical knowledge resource…

cmp-lg · Computer Science 2007-05-23 Xavier Farreres , German Rigau , Horacio Rodriguez

A linear ordering is called context-free if it is the lexicographic ordering of some context-free language and is called scattered if it has no dense subordering. Each scattered ordering has an associated ordinal, called its rank. It is…

Formal Languages and Automata Theory · Computer Science 2023-03-07 Szabolcs Ivan

We propose a generalization of Categorial Grammar in which lexical categories are defined by means of recursive constraints. In particular, the introduction of relational constraints allows one to capture the effects of (recursive) lexical…

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