?? detrmtreeaut.html
字號:
<!DOCTYPE HTML PUBLIC "-//IETF//DTD W3 HTML 2.0//EN">
<HTML lang="en-US">
<HEAD>
<TITLE>deterministic tree automaton</TITLE>
<META name="description"
content="Definition of deterministic tree automaton,
possibly with links to more information and implementations.">
<META name="keywords" content="deterministic tree automaton">
</HEAD>
<BODY BGCOLOR="#FFFFFF">
<H1>deterministic tree automaton</H1>
<P>
(definition)
<P>
<strong>Definition:</strong>
A <a href="determfinaut.html" tppabs="http://hissa.nist.gov/dads/HTML/determfinaut.html"><em>deterministic finite automaton</em></a> that accepts infinite <a href="tree.html" tppabs="http://hissa.nist.gov/dads/HTML/tree.html"><em>trees</em></a> rather than just <a href="string.html" tppabs="http://hissa.nist.gov/dads/HTML/string.html"><em>strings</em></a>. The tree <a href="node.html" tppabs="http://hissa.nist.gov/dads/HTML/node.html"><em>nodes</em></a> are marked with the letters of the <a href="alphabet.html" tppabs="http://hissa.nist.gov/dads/HTML/alphabet.html"><em>alphabet</em></a> of the automaton, and the transition function encodes the <a href="nextstate.html" tppabs="http://hissa.nist.gov/dads/HTML/nextstate.html"><em>next states</em></a> for each branch of the tree. The expressive power of such automata varies depending on the acceptance conditions of the trees.
<P><strong>See also</strong>
<a href="detrmfintrau.html" tppabs="http://hissa.nist.gov/dads/HTML/detrmfintrau.html"><em>deterministic finite tree automaton</em></a>.
<P><em>Note:
These are used in various studies in branching-time temporal logic, second order logic with multiple successors etc.</em>
<P>Author: <a href="terms.html#authorSKS" tppabs="http://hissa.nist.gov/dads/terms.html#authorSKS">SKS</a>
<H2>More information</H2>
<A HREF="javascript:if(confirm('http://www.nist.gov/cgi-bin/exit_nist.cgi?url=http://www.grappa.univ-lille3.fr/tata/ \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://www.nist.gov/cgi-bin/exit_nist.cgi?url=http://www.grappa.univ-lille3.fr/tata/'" tppabs="http://www.nist.gov/cgi-bin/exit_nist.cgi?url=http://www.grappa.univ-lille3.fr/tata/">Tree Automata Techniques and Applications</A> page.
<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 16:10:13 1999.<BR>
HTML page formatted Wed Dec 22 09:35:07 1999.
<P>
This page's URL is
<A href="detrmtreeaut.html" tppabs="http://hissa.nist.gov/dads/HTML/detrmtreeaut.html">http://hissa.nist.gov/dads/HTML/detrmtreeaut.html</A>
</BODY>
</HTML>
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -