English
Related papers

Related papers: Sofic-Dyck shifts

200 papers

We prove that the multivariate zeta function of a sofic-Dyck shift is the commutative series of some visibly pushdown language. As a consequence the zeta function of a sofic-Dyck shift is the generating function of a visibly pushdown…

Formal Languages and Automata Theory · Computer Science 2017-02-24 Marie-Pierre Béal , Cǎtǎlin Dima

We introduce a class of coded systems that we construct from sofic systems and Dyck shifts and we study a class of subshifts that we obtain by excluding words of length two from Dyck shifts. We derive expressions for zeta functions and…

Dynamical Systems · Mathematics 2010-01-13 Kokoro Inoue , Wolfgang Krieger

The aim of this article is to find appropriate definitions for shifts of finite type and sofic shifts in a general context of symbolic dynamics. We start showing that the classical definitions of shifts of finite type and sofic shifts, as…

Dynamical Systems · Mathematics 2022-03-31 Marcelo Sobottka

A class of highly symmetric Markov-Dyck shifts is introduced. Topological entropies and zeta functions are determined.

Dynamical Systems · Mathematics 2019-09-16 Wolfgang Krieger

The Markov-Dyck shifts arise from finite directed graphs. An expression for the zeta function of a Markov-Dyck shift is given. The derivation of this expression is based on a formula in Keller (G. Keller, {\it Circular codes, loop counting,…

Dynamical Systems · Mathematics 2013-06-10 Wolfgang Krieger , Kengo Matsumoto

We study some basic properties of sofic-Dyck shifts and finite-type-Dyck shifts. We prove that the class of sofic-Dyck shifts is stable under proper conjugacies. We prove a Decomposition Theorem of a proper conjugacy between edge-Dyck…

Formal Languages and Automata Theory · Computer Science 2013-11-19 Marie-Pierre Béal , Michel Blockelet , Cǎtǎlin Dima

For a given finite directed graph $G$, there are two types of Markov-Dyck shifts, the Markov-Dyck shift $D_G^V$ of vertex type and the Markov-Dyck shift $D_G^E$ of edge type. It is shown that, if $G$ does not have multi-edges, the former is…

Operator Algebras · Mathematics 2014-05-27 Kengo Matsumoto

We discuss a method of calculating the zeta function of subshifts which have a presentation by a finite directed graph labeled by elements of the associated inverse semigroup. This class of subshifts is introduced as a class of property A…

Dynamical Systems · Mathematics 2010-01-12 Kokoro Inoue

The class of periodic-finite-type shifts (PFT's) is a class of sofic shifts that strictly includes the class of shifts of finite type (SFT's), and the zeta function of a PFT is a generating function for the number of periodic sequences in…

Information Theory · Computer Science 2009-04-16 Akiko Manada , Navin Kashyap

A sofic shift is a shift space consisting of bi-infinite labels of paths from a labelled graph. Being a dynamical system, the distribution of its closed orbits may indicate the complexity of the space. For this purpose, prime orbit and…

Dynamical Systems · Mathematics 2024-05-28 Azmeer Nordin , Mohd Salmi Md Noorani

In this paper we study the shifts, which are the shift-invariant and topologically closed sets of configurations over a finite alphabet in $\mathbb{Z}^d$. The minimal shifts are those shifts in which all configurations contain exactly the…

Discrete Mathematics · Computer Science 2017-06-27 Bruno Durand , Andrei Romashchenko

Sofic shifts are symbolic dynamical systems defined by the set of bi-infinite sequences on an edge-labeled directed graph, called a presentation. We study the computational complexity of an array of natural decision problems about…

Computational Complexity · Computer Science 2022-09-29 Justin Cai , Rafael Frongillo

We introduce a new type of shift dynamics as an extended model of symbolic dynamics, and investigate the characteristics of shift spaces from the viewpoints of both dynamics and computation. This shift dynamics is called a functional shift…

Chaotic Dynamics · Physics 2009-11-10 Jun Namikawa , Takashi Hashimoto

The study of subshifts on groups different from $\mathbb{Z}$, such as $\mathbb{Z}^d$, $d\geq 2$, has been a subject of intense research in recent years. These investigations have unveiled aremarkable connection between dynamics and…

Dynamical Systems · Mathematics 2025-05-21 Nicanor Carrasco-Vargas

We prove that the Karoubi envelope of a shift --- defined as the Karoubi envelope of the syntactic semigroup of the language of blocks of the shift --- is, up to natural equivalence of categories, an invariant of flow equivalence. More…

Dynamical Systems · Mathematics 2019-02-20 Alfredo Costa , Benjamin Steinberg

We classify certain sofic shifts (the irreducible Point Extension Type, or PET, sofic shifts) up to flow equivalence, using invariants of the canonical Fischer cover. There are two main ingredients: (1) An extension theorem, for extending…

Dynamical Systems · Mathematics 2018-10-08 Mike Boyle , Toke Meier Carlsen , Søren Eilers

$S$-gap shifts are a well-studied class of shift spaces, which has led to several proposed generalizations. This paper introduces a new class of shift spaces called $\mathcal{S}$-graph shifts whose essential structure is encoded in a novel…

Dynamical Systems · Mathematics 2022-07-21 Travis Dillon

The class of normal subshifts includes irreducible infinite topological Markov shifts, irreducible infinite sofic shifts, synchronized systems, Dyck shifts, $\beta$-shifts, substitution minimal shifts, and so on. We will characterize…

Operator Algebras · Mathematics 2021-04-13 Kengo Matsumoto

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

In this paper, we explore the construction and dynamical properties of $\mathcal{S}$-limited shifts. An $S$-limited shift is a subshift defined on a finite alphabet $\mathcal{A} = \{1, \ldots,p\}$ by a set $\mathcal{S} = \{S_1, \ldots,…

Dynamical Systems · Mathematics 2017-08-30 Benjamin Matson , Elizabeth Sattler
‹ Prev 1 2 3 10 Next ›