Subshifts of finite type

Summary