词条 | Tarski–Kuratowski algorithm |
释义 |
In computability theory and mathematical logic the Tarski–Kuratowski algorithm is a non-deterministic algorithm which produces an upper bound for the complexity of a given formula in the arithmetical hierarchy and analytical hierarchy. The algorithm is named after Alfred Tarski and Kazimierz Kuratowski. AlgorithmThe Tarski–Kuratowski algorithm for the arithmetical hierarchy consists of the following steps:
References
3 : Mathematical logic hierarchies|Computability theory|Theory of computation |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。