Abstract. Given a one-dimensional shift X, let |F X ( )| be the number of follower sets of words of length in X. We call the sequence {|F X ( )|} ∈N the follower set sequence of the shift X. Extender sets are a generalization of follower sets (see [2]), and we define the extender set sequence similarly. In this paper, we explore which sequences may be realized as follower set sequences and extender set sequences of one-dimensional sofic shifts. We show that any follower set sequence or extender set sequence of a sofic shift must be eventually periodic. We also show that, subject to a few constraints, a wide class of eventually periodic sequences are possible. In fact, any natural number difference in the lim sup and lim inf of these sequences may be achieved, so long as the lim inf of the sequence is sufficiently large.
For any subshift, define F X (n) to be the collection of distinct follower sets of words of length n in X. Based on a similar result proved in [4], we conjecture that if there exists an n for which |F X (n)| ≤ n, then X is sofic. In this paper, we prove several results related to this conjecture, including verifying it for n ≤ 3, proving that the conjecture is true for a large class of coded subshifts, and showing that if there exists n for which |F X (n)| ≤ log 2 (n + 1), then X is sofic.
Using the follower/predecessor/extender set sequences defined in [3], we define quantities which we call the follower/predecessor/extender entropies, which can be associated to any shift space. We analyze the behavior of these quantities under conjugacies and factor maps, most notably showing that extender entropy is a conjugacy invariant and that having follower entropy zero is a conjugacy invariant. We give some applications, including examples of shift spaces with equal entropy which can be distinguished by extender entropy, and examples of shift spaces which can be shown to not be isomorphic to their inverse by using follower/predecessor entropy.
Given a one-dimensional shift X and a word v in the language of X, the follower set of v is the set of all finite words which can legally follow v in some point of X. The predecessor set of v is the set of all finite words which can legally precede v in some point of X. We construct the follower set sequence of X by recording, for each n, the number of distinct follower sets of words of length n in X. We construct the predecessor set sequence of X by recording, for each n, the number of distinct predecessor sets of words of length n in X. Extender sets are a generalization of follower sets (see [6]), and we define the extender set sequence similarly. In this paper, we examine achievable differences in limiting behavior of follower, predecessor, and extender set sequences. This is done through the classical β-shifts, first introduced in [10]. We show that the follower set sequences of β-shifts must grow at most linearly in n, while the predecessor and extender set sequences may demonstrate exponential growth rate in n, depending on choice of β.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.