精确的结构抽象和可处理性极限