Definition:Metric on Shift of Finite Type