Codes engendrant certains systèmes sofiques. (Codes generating certain sofic systems)

From MaRDI portal





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.











This page was built for publication: Codes engendrant certains systèmes sofiques. (Codes generating certain sofic systems)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1824713)