英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 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       







请输入英文单字，中文词皆可：

decidability    
可决定性; 可判定性

可决定性; 可判定性

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,
002, ...) and then string all the symbol codes together. Then
you can create an undecidable set by defining it as the set of
all numbers that represent a program that terminates in a
finite number of steps.

A set can also be "semi-decidable" - there is an {algorithm}
that is guaranteed to return YES if the number is in the set,
but if the number is not in the set, it may either return NO
or run for ever.

The {halting problem}'s set described above is semi-decidable.
You decode the given number and run the resulting program. If
it terminates the answer is YES. If it never terminates, then
neither will the decision algorithm.

(1995-01-13)


请选择你想看的字典辞典：
单词字典翻译
decidability查看　decidability　在百度字典中的解释百度英翻中〔查看〕
decidability查看　decidability　在Google字典中的解释Google英翻中〔查看〕
decidability查看　decidability　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • Michael Klare - Wikipedia
    Klare serves on the board of directors of the Arms Control Association He is a regular contributor to many publications including The Nation, TomDispatch and Mother Jones, and is a frequent columnist for Foreign Policy In Focus
  • Michael Klare, author of The Race for Whats Left
    Michael Klare is the author of fourteen books, including: Resource Wars (2001); Blood and Oil (2004); Rising Powers, Shrinking Planet (2008); and The Race for What’s Left (2012)
  • Michael Klare - Hampshire College
    Michael Klare, Five College professor emeritus of peace and world security studies, and director of the Five College Program in Peace and World Security Studies (PAWSS), holds a B A and M A from Columbia University and a Ph D from the Graduate School of the Union Institute
  • Michael Klare, Board Secretary and Senior Visiting Fellow
    Michael Klare is currently the secretary for the Arms Control Association board of directors and a senior visiting fellow working on emerging technologies—such as lethal autonomous weapons and unmanned aerial vehicles—and how arms control strategies can mitigate their adverse impacts
  • Michael Klare - TomDispatch. com
    Michael T Klare, a TomDispatch regular, is the five-college professor emeritus of peace and world security studies at Hampshire College and a senior visiting fellow at the Arms Control Association
  • Michael T. Klare - The Nation
    Michael T Klare is a professor of peace and world security studies at Hampshire College and the defense correspondent of The Nation He is the author, most recently, of The Race for What’s Left
  • Michael Klare
    Michael Klare, Five College professor emeritus of peace and world security studies and senior visiting fellow at the Arms Control Association at Hampshire College, holds a B A and M A from Columbia University and a Ph D from the Graduate School of the Union Institute
  • Michael Klare: Radical Politics With Passion and Conviction
    Michael Klare has been doing that for more than 50 years and especially since the War in Vietnam and the protests against it A diligent reporter with a deep-seated curiosity, passion and
  • Michael Klare - Foreign Policy In Focus
    September 13, 2024 | The next president will face fateful decisions regarding the production and possible use of nukes, whether in the bilateral nuclear relationship between the U S and Russia or the trilateral one that incorporates China Early Signs of the Failure of American Global Power?
  • Michael Klare - professor emeritus at Hampshire College; senior . . .
    View Michael Klare’s profile on LinkedIn, a professional community of 1 billion members





中文字典-英文字典  2005-2009