Hostname: page-component-77c89778f8-m42fx Total loading time: 0 Render date: 2024-07-19T05:53:42.588Z Has data issue: false hasContentIssue false
  • English
  • Français

An algorithm for sofic shift equivalence*

Published online by Cambridge University Press:  19 September 2008

K. H. Kim  and
F. W. Roush
K. H. Kim
Affiliation:
Mathematics Research Group, Alabama State University, Montgomery, Alabama 36195, USA
F. W. Roush
Affiliation:
Mathematics Research Group, Alabama State University, Montgomery, Alabama 36195, USA
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We prove the decidability of shift equivalence of sofic systems and discuss algebraic invariants.

Type
Research Article
Information
Ergodic Theory and Dynamical Systems , Volume 10 , Issue 2 , June 1990 , pp. 381 - 393
Copyright
Copyright © Cambridge University Press 1990

References

REFERENCES

[1]Boyle, M. & Krieger, W.. Almost Markov and shift equivalent sofic systems. Dynamical Systems (Proceedings, University of Maryland 1986–1987), ed. Alexander, J. C., Springer: New York, 1988, pp. 33–93.Google Scholar
[2]Clifford, A. & Preston, G.. The Algebraic Theory of Semigroups. Amer. Math.: Providence, R.I., 1961.Google Scholar
[3]Hamachi, T. & Nasu, M.. Topological conjugacy for 1-block factor maps of subshifts and sofic covers. Dynamical Systems (Proceedings, University of Maryland 1986–1987), ed. Alexander, J. C., Springer: New York, 1988. pp. 251–260.Google Scholar
[4]Kim, K. H. & Roush, F. W.. Decidability of shift equivalence. Dynamical Systems (Proceedings, University of Maryland 1986–1987), ed. Alexander, J. C., Springer: New York, 1988. pp. 374–424.Google ScholarPubMed
[5]Nasu, M.. Topological conjugacy for sofic systems. Ergod. Th. & Dynam. Sys. 6 (1986), 265–280.CrossRefGoogle Scholar