Online dictionary - over 2 million references

to Chinese

If you can't find the translation you need, try our free translation

Online dictionary - over 2 million references

1. DECdns分布的名服务。由OSF采取作为名服务为DCE。 DEChead /dek ' hed/1。 12月领域servoid。不恭维。 2. [“免费乘客”]运转在12月[专科术语文件] dechunker chunker你可能确定集合的可判断A物产的一台感恩的死的风扇不论某事是一名成员在计算步的一个有限数字。可判断是一个重要概念在computability理论上。集合即“所有数字与一5在他们”被认为“可判定”，如果我可以通常写一个节目为Turing机器确定数字是否在集合，并且节目总将终止以答复是或否在步以后的一个有限数字。您能容易地描述的多数集合是可判定的，但无限地有许多集合如此多数集合undecidable，假设所有有限极限在指示的大小我们的节目状态的数量或数字。即多么大您准许您的节目那里总将是需要一个更大的节目决定会员资格的集合。一个undecidable集合的一个例子来自停机问题。它结果您能输入每个节目作为数字：输入每个标志在节目，第001， 002，…然后将所有标志代码连接起来。然后您能通过定义它创造一个undecidable集合作为代表节目在步的一个有限数字终止的套所有数字。集合可能也是“半可判定的” -有被保证是返回的算法，如果数字在集合，但，如果数字不在集合，它也许退回没有或为跑。被描述的停机问题的集合上面是半可判定的。您解码一定数量并且运行发生的节目。如果它终止答复是。如果它从未终止，则都不愿决定算法。

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z