英文字典中文字典


英文字典中文字典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英翻中〔查看〕

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


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

































































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


  • Space Shuttle Discovery | National Air and Space Museum
    Discovery is an example of a Space Shuttle orbiter, a component of NASA’s Space Transportation System (STS) The STS consisted of a combination of a Space Shuttle orbiter, solid rocket boosters, and a fuel tank Discovery was the third Space Shuttle orbiter vehicle to fly in space It entered service in 1984 and retired from spaceflight in
  • Space Shuttle Discovery | National Air and Space Museum
    Discovery was the third Space Shuttle orbiter vehicle to fly in space It entered service in 1984 and retired from spaceflight as the oldest and most utilized orbiter Discovery was flown on 39 Earth-orbital missions, spent a total of 365 days in space, and traveled almost 240 million kilometers (150 million miles)--more than the other orbiters
  • Space Shuttle program - National Air and Space Museum
    The Space Shuttle program ran from presidential approval in 1972 to its end in 2011 It was the fourth human spaceflight program carried out by the United States and NASA The Space Shuttle, officially known as the Space Transportation System (STS), was the first reusable spacecraft to carry humans into orbit
  • 3D Scanning Space Shuttle Discovery
    Smithsonian's Digitzation Program Office collect 3D data of Space Shuttle Discovery For the safety of the shuttle, people cannot walk underneath it in the gallery The public can experience the magnificent object by walking around it from the ground level or up on surrounding walkways in its hangar at the Steven F Udvar-Hazy Center
  • Space Shuttle Discovery | National Air and Space Museum
    The space shuttle Discovery is the centerpiece of the James S McDonnell Space Hangar at the National Air and Space Museum's Steven F Udvar-Hazy Center in Chantilly, Va
  • Steven F. Udvar-Hazy Center | National Air and Space Museum
    At the Udvar-Hazy Center, you'll be surrounded with icons of aviation and spaceflight, from the Space Shuttle Discovery to the Lockheed SR-71 Blackbird, and many, more Each section of aircraft is accompanied by a short label, making this a favorite museum for our youngest visitors to explore
  • John Glenns Return to Space on Discovery
    Glenn had the distinction of being the only original astronaut (from the Mercury 7 group selected in 1959) to fly on the Space Shuttle That mission was Discovery’s 25 th flight, itself a milestone of longevity With one flight in 1962 and another in 1998, John Glenn uniquely bridged two eras in space history and left his mark in each
  • Space Shuttle Discovery | National Air and Space Museum
    Space Shuttle orbiter, delta-winged spaceplane design, covered with white thermal protection blankets and black thermal protection tiles; marked Discovery on both sides of forward fuselage Created: June 24, 2013
  • 5 Unusual Facts About Space Shuttle Discovery
    On August 30, 1984, Space Shuttle Discovery took off on its first mission—beginning its nearly 30 years of space exploration When Discovery retired in 2011, it was NASA’s oldest and most accomplished orbiter It flew nearly 150 million miles and spent 365 days in space, flying just about every type of mission during the shuttle era
  • Making History Aboard Discovery - National Air and Space Museum
    Astronaut Ellen Ochoa uses a 70mm handheld camera to record an ocean scene during the ATLAS 2 mission aboard the Space Shuttle Discovery, 1993 Credit: NASA Johnson Space Center It was a turning point for Ochoa, whose groundbreaking career would send her on four separate space missions and eventually to the helm of NASA’s Johnson Space





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