Subshifts of finite type