An algorithm for sofic shift equivalence

DOI10.1017/S0143385700005617zbMath0674.20041OpenAlexW2039061917MaRDI QIDQ3828207

Fred W. Roush, Kim Hang Kim

Publication date: 1990

Published in: Ergodic Theory and Dynamical Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0143385700005617

zbMATH Keywords

algorithmcongruencesdecidablesemigroup semiringsemigroup of transformation matricessofic shift equivalence

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35) Semigroup rings, multiplicative semigroups of rings (20M25) Semirings (16Y60)

Related Items (11)

Flow equivalence of sofic shifts ⋮ Pseudovarieties defining classes of sofic subshifts closed under taking shift equivalent subshifts. ⋮ The publications of Ki Hang Kim ⋮ The work of Kim and Roush in symbolic dynamics ⋮ Resolving extensions of finitely presented systems ⋮ Path methods for strong shift equivalence of positive matrices ⋮ Computing degree and class degree ⋮ Solution of Two Conjectures in Symbolic Dynamics ⋮ A categorical invariant of flow equivalence of shifts ⋮ Unnamed Item ⋮ A hierarchy of shift equivalent sofic shifts

Cites Work

• Unnamed Item

This page was built for publication: An algorithm for sofic shift equivalence