但是，通过某些具体函数f（n）限制上述计算时间通常会产生取决于所选机器模型的复杂度类别。例如，语言{xx | 如果我们允许运行时间的多项式变化，则Cobham-Edmonds论文指出“任何两个合理且通用的计算模型中的时间复杂度都是多项式相关的”（Goldreich 2008，第1.2章）。这构成了复杂度类别P的基础，该类别是确定性图灵机可以在多项式时间内解决的一组决策问题。相应的一组功能问题是FP。
什么不是二进制字符串？