📄 decidable1.html

📁 数据结构词典（英文）
💻 HTML
字号:
<!DOCTYPE HTML PUBLIC "-//IETF//DTD W3 HTML 2.0//EN">
<HTML lang="en-US">
<HEAD>
<TITLE>decidable problem</TITLE>
<META name="description"
  content="Definition of decidable problem,
	possibly with links to more information and implementations.">
<META name="keywords" content="decidable problem">
</HEAD>
<BODY BGCOLOR="#FFFFFF">

<H1>decidable problem</H1>
<P>
(definition)

<P>
<strong>Definition:</strong>
A <a href="decisionpblm.html" tppabs="http://hissa.nist.gov/dads/HTML/decisionpblm.html"><em>decision problem</em></a> that can be solved by an <a href="algorithm.html" tppabs="http://hissa.nist.gov/dads/HTML/algorithm.html"><em>algorithm</em></a> that halts on all inputs in a finite number of steps.  The associated language is called <a href="recursivlngg.html" tppabs="http://hissa.nist.gov/dads/HTML/recursivlngg.html"><em>recursive</em></a>.
<P><strong>See also</strong>
<a href="undecidablpr.html" tppabs="http://hissa.nist.gov/dads/HTML/undecidablpr.html"><em>undecidable problem</em></a>, <a href="decidabllngg.html" tppabs="http://hissa.nist.gov/dads/HTML/decidabllngg.html"><em>decidable language</em></a>.
<P><em>Note:
For emphasis, the equivalent term <em>totally decidable problem</em> is sometimes used. From Algorithms and Theory of Computation Handbook, pages 24-19 and 26-20, Copyright &copy; 1999 by CRC Press LLC.</em>
<P>Author: <a href="terms.html#authorCRC-A" tppabs="http://hissa.nist.gov/dads/terms.html#authorCRC-A">CRC-A</a>

<hr>

Go to the
<A HREF="terms.html" tppabs="http://hissa.nist.gov/dads/terms.html">Algorithms, Data Structures, and Problems</A>
home page.

<hr>

If you have suggestions, corrections, or comments, please get in touch
with
<a href="javascript:if(confirm('http://hissa.nist.gov/~black/black.html  \n\nThis file was not retrieved by Teleport Pro, because it is addressed on a domain or path outside the boundaries set for its Starting Address.  \n\nDo you want to open it from the server?'))window.location='http://hissa.nist.gov/~black/black.html'" tppabs="http://hissa.nist.gov/~black/black.html">Paul E. Black</a>
&nbsp;(<a href="mailto:paul.black@nist.gov">paul.black@nist.gov</a>).

<p>
Entry modified Thu Jun 17 13:31:48 1999.<BR>
HTML page formatted Wed Dec 22 09:35:05 1999.

<P>
This page's URL is
<A href="decidable1.html" tppabs="http://hissa.nist.gov/dads/HTML/decidable1.html">http://hissa.nist.gov/dads/HTML/decidable1.html</A>

</BODY>
</HTML>
⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -