In general, there is a compromise to be made between the precision of the analysis and its decidability (computability), or tractability (complexity).
一般的说，在分析的精度和它的可决定性(可计算性)或可跟踪性(复杂性)之间要做出妥协。