This book presents the interplay between topological Markov shifts and Cuntz Krieger algebras by providing notations, techniques, and ideas in detail. The main goal of this book is to provide a detailed proof of a classification theorem for continuous orbit equivalence of one-sided topological Markov shifts. The continuous orbit equivalence of one-sided topological Markov shifts is classified in terms of several different mathematical objects: the étale groupoids, the actions of the continuous full groups on the Markov shifts, the algebraic type of continuous full groups, the Cuntz Krieger algebras, and the K-theory dates of the Cuntz Krieger algebras. This classification result shows that topological Markov shifts have deep connections with not only operator algebras but also groupoid theory, infinite non-amenable groups, group actions, graph theory, linear algebras, K-theory, and so on. By using this classification result, the complete classification of flow equivalence in two-sided topological Markov shifts is described in terms of Cuntz Krieger algebras. The author will also study the relationship between the topological conjugacy of topological Markov shifts and the gauge actions of Cuntz Krieger algebras.