📄 alternation.html
字号:
<!DOCTYPE HTML PUBLIC "-//IETF//DTD W3 HTML 2.0//EN">
<HTML lang="en-US">
<HEAD>
<TITLE>alternation</TITLE>
<META name="description"
content="Definition of alternation,
possibly with links to more information and implementations.">
<META name="keywords" content="alternation">
</HEAD>
<BODY BGCOLOR="#FFFFFF">
<H1>alternation</H1>
<P>
(definition)
<P>
<strong>Definition:</strong>
A <a href="modelofcompu.html" tppabs="http://hissa.nist.gov/dads/HTML/modelofcompu.html"><em>model of computation</em></a> proposed by A. K. Chandra, L. Stockmeyere, and D. Kozen, which has two kinds of states, AND and OR. The definition of accepting computation is adjusted accordingly.
<P><strong>See also</strong>
<a href="timespace.html" tppabs="http://hissa.nist.gov/dads/HTML/timespace.html"><em>time/space complexity</em></a>, <a href="turingmachin.html" tppabs="http://hissa.nist.gov/dads/HTML/turingmachin.html"><em>Turing machine</em></a>.
<P><em>Note:
First proposed as a model for parallel computation, it has been widely used to prove complexity bounds on problems. See A. K. Chandra and L. J. Stockmeyer, "Alternation", pp 98-108, and D. Kozen, "On Parallelism in Turing Machines", pp 89-97, both in Proccedings of Seventeenth Annual IEEE Symposium on Foundations of Computer Science, 1976.</em>
<P>Author: <a href="terms.html#authorSKS" tppabs="http://hissa.nist.gov/dads/terms.html#authorSKS">SKS</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>
(<a href="mailto:paul.black@nist.gov">paul.black@nist.gov</a>).
<p>
Entry modified Sat Sep 4 17:09:56 1999.<BR>
HTML page formatted Wed Dec 22 09:34:40 1999.
<P>
This page's URL is
<A href="alternation.html" tppabs="http://hissa.nist.gov/dads/HTML/alternation.html">http://hissa.nist.gov/dads/HTML/alternation.html</A>
</BODY>
</HTML>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -