C*-algebras, integral matrices, shifts, isomorphisms, classification, Bratteli diagram, decidability, algorithm, p-adic integers, dimension groups, AF-algebras