翻訳と辞書 Words near each other ・ debugging ・ debugging by printf ・ dec ・ dec alpha ・ dec wars ・ decay ・ decdesign ・ decdns ・ dechead ・ dechunker ・ decidability ・ decidable ・ decimal point ・ decision problem ・ decision support ・ decision support database ・ decision support systems ・ decision theory ・ deckle ・ declarative language Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク decidability ： FOLDOC decidability A property of sets for which one can determine whether something is a member or not in a finite number of computational steps. Decidability is an important concept in computability theory. A set (e.g. "all numbers with a 5 in them") is said to be "decidable" if I can write a program (usually for a Turing Machine) to determine whether a number is in the set and the program will always terminate with an answer YES or NO after a finite number of steps. Most sets you can describe easily are decidable, but there are infinitely many sets so most sets are undecidable, assuming any finite limit on the size (number of instructions or number of states) of our programs. I.e. how ever big you allow your program to be there will always be sets which need a bigger program to decide membership. One example of an undecidable set comes from the halting problem. It turns out that you can encode every program as a number: encode every symbol in the program as a number (001, スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.