极小年龄 "m" 和极大年龄 "M"。如果问题是关于严格小于 "m" 或严格大于 "M" 的年龄，则我们可以安全的回应没有这个参与者在场。否则，我们只能说不知道。在计算的情况下，具体的精确的信息在有限时间和内存内一般是不能计算的(参见Rice定理和停机问题)。 抽象被用来把问题一直简化到有职能自动解答的问题。减少精度的一个关键要点是使问题易于处理而对回答你感兴趣的问题(比如“程序会崩溃吗?”)仍保持足够的精度。
计算机程序的抽象释义.给定一个编程或规定语言，抽象释义一般由抽象关