Shift of finite type