Subshifts of finite type and sofic systems