Abstract:We propose different ways of lifting the notion of Dyck language from words to 2-dimensional (2D) pictures, by means of new definitions of increasing comprehensiveness. Two of the proposals are based on alternative definitions of a Dyck language, which are equivalent over words but not on pictures. First, the property that any two pairs of matching parentheses are well-nested or disjoint is rephrased for rectangular boxes and leads to the well-nested Dyck, $DW_k$. This is a generalization of the known Chinese box language, but, unlike the Chinese boxes, $DW_k$ is not recognizable by a tiling system. Second, the Dyck cancellation rule is rephrased as a neutralization rule, mapping a quadruple of symbols representing the corners of a subpicture onto neutral <a class="link-external link-http" href="http://symbols.The" rel="external noopener nofollow">this http URL</a> neutralizable Dyck language $DN_k$ is obtained by iterating neutralizations, starting from 2-by-2 subpictures, until the picture is wholly neutralized. Third, we define the Dyck crossword $DC_k$ as the row-column combination of Dyck word languages, which prescribes that each column and row is a Dyck word. The relation between matching parentheses is represented in $DC_k$ by an edge of a graph situated on the picture grid. Such edges form a circuit, of path length multiple of four, of alternating row and column matches. Length-four circuits have rectangular shape, while longer ones exhibit a large variety of forms. A proper subset of $DC_k$, called quaternate, is also introduced by excluding all circuits of length greater than 4. We prove that $DN_k$ properly includes $DW_k$, and that it coincides with the quaternate $DC_k$ such that the neutralizability relation between subpictures induces a partial order. The 2D languages well-nested, neutralizable, quaternate and Dyck crossword are ordered by strict inclusions. This work can be also seen as a first step towards the definition of context-free picture languages.

On factor-free Dyck words with half-integer slope

Dyck Words, Pattern Avoidance, and Automatic Sequences

Rational Dyck paths

Words, Dyck paths, Trees, and Bijections

On a new collection of words in the Catalan family

Words with many palindrome pair factors

Monomial identities in the Weyl algebra

Fibonacci Sequences of 1D, 2D Words: Enumerating and Locating the Factors of the Fixed Points

Avoiding Square-Free Words on Free Groups

Euler Coefficients and Restricted Dyck Paths

Algorithms for Galois Words: Detection, Factorization, and Rotation

Bijections between Variants of Dyck Paths and Integer Compositions

Factorization in Denjoy-Carleman classes associated to representations of $(\mathbb{R}^{d},+)$

Some Connections Between Restricted Dyck Paths, Polyominoes, and Non-Crossing Partitions

Between Broadway and the Hudson: A Bijection of Corridor Paths

Bijections and congruences involving lattice paths and integer compositions

Two-dimensional Dyck words

Enumerating Restricted Dyck Paths with Context-Free Grammars

Family of curves, first slope, p-adic weight of support

Enumeration of the Motzkin paths above a line of rational slope

Enumeration of labeled trees and Dyck tilings