Codes engendrant certains systèmes sofiques. (Codes generating certain sofic systems)
type: Item
instance of: scholarly article
title: Codes engendrant certains systèmes sofiques. (Codes generating certain sofic systems)
zbMATH Open document ID: 0683.28009
DOI: 10.1016/0304-3975(89)90163-1
author: Yanyan Li
published in: Theoretical Computer Science
publication date: 1989-01-01T00:00:00Z
review text: The author defines the terms ``local code'' and ``local code with finite splitting to the left and right'' and shows that a sofic system is of finite type (respectively almost finite type) if and only if all first return codes are local (respectively local with unique splitting to the right and left). \textit{A. Restivo} [Inf. Control 25, 93-101 (1974; Zbl 0279.68054)] proved that finite circular codes generate subshifts of finite type. The author proves the following: (i) local codes are circular, (ii) finite local codes are identical to finite circular codes, (iii) finite codes with unique splitting are identical to finite codes with finite deciphering delay to the same side. The paper finishes by showing that finite codes with unique splitting to the left and right generate almost finite type subshifts. This does not happen when the finiteness condition is dropped.
Mathematics Subject Classification ID: 28D05
Mathematics Subject Classification ID: 94B05
zbMATH DE Number: 4118650
zbMATH Keywords: sofic system
zbMATH Keywords: return codes
zbMATH Keywords: finite circular codes
zbMATH Keywords: subshifts of finite type
reviewed by: Geoffrey R. Goodson
MaRDI profile type: Publication
full work available at URL: 0304-3975(89)90163-1
OpenAlex ID: W2001894621
cites work: Systèmes codés. (Coded systems)
cites work: A Note on Minimal Covers for Sofic Systems
cites work: Q4430300
cites work: Ergodic theory on compact spaces
cites work: Q4079524
cites work: On sofic systems. I
cites work: On a question of McNaughton and Papert
cites work: Codes and local constraints
cites work: Subshifts of finite type and sofic systems
description: scientific article; zbMATH DE number 4118650