📄 treeautomata.html
字号:
<!DOCTYPE HTML PUBLIC "-//IETF//DTD W3 HTML 2.0//EN">
<HTML lang="en-US">
<HEAD>
<TITLE>tree automaton</TITLE>
<META name="description"
content="Definition of tree automaton,
possibly with links to more information and implementations.">
<META name="keywords" content="tree automaton">
</HEAD>
<BODY BGCOLOR="#FFFFFF">
<H1>tree automaton</H1>
<P>
(definition)
<P>
<strong>Definition:</strong>
A tree automaton is an extension of a <a href="finitestautm.html" tppabs="http://hissa.nist.gov/dads/HTML/finitestautm.html"><em>finite state automaton</em></a>, but operates on n-ary constructors. Where a finite state automaton reaches a new state with a single state and character, a tree automaton takes <em>n</em> states and constructors. Tree automata may be top-down (starting from the <a href="root.html" tppabs="http://hissa.nist.gov/dads/HTML/root.html"><em>root</em></a>) or bottom-up (starting from the <a href="leaf.html" tppabs="http://hissa.nist.gov/dads/HTML/leaf.html"><em>leaves</em></a>), and <a href="deterministc.html" tppabs="http://hissa.nist.gov/dads/HTML/deterministc.html"><em>deterministic</em></a> or <a href="nondetrmnstc.html" tppabs="http://hissa.nist.gov/dads/HTML/nondetrmnstc.html"><em>nondeterministic</em></a>.
<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>, <a href="nondtrmnstcf.html" tppabs="http://hissa.nist.gov/dads/HTML/nondtrmnstcf.html"><em>nondeterministic finite tree automaton</em></a>, <a href="detrmtreeaut.html" tppabs="http://hissa.nist.gov/dads/HTML/detrmtreeaut.html"><em>deterministic tree automaton</em></a>, <a href="nondtrmnstct.html" tppabs="http://hissa.nist.gov/dads/HTML/nondtrmnstct.html"><em>nondeterministic tree automaton</em></a>, <a href="bottmptrtmtn.html" tppabs="http://hissa.nist.gov/dads/HTML/bottmptrtmtn.html"><em>bottom-up tree automaton</em></a>, <a href="topdwntrtmtn.html" tppabs="http://hissa.nist.gov/dads/HTML/topdwntrtmtn.html"><em>top-down tree automaton</em></a>.
<P><em>Note:
Words for finite state automata can be seen as composed of unary constructors, the alphabet, and a 0-ary constructor, the end of the word. <P> Nondeterministic top-down and bottom-up automata, and deterministic bottom-up automata are equivalent, but top-down automata are weaker.</em>
<P>Author: <a href="terms.html#authorDM" tppabs="http://hissa.nist.gov/dads/terms.html#authorDM">DM</a>
<H2>Implementation</H2>
<A HREF="javascript:if(confirm('http://www.nist.gov/cgi-bin/exit_nist.cgi?url=http://www.loria.fr/equipes/protheo/PROJECTS/ELAN/elan-automata.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://www.nist.gov/cgi-bin/exit_nist.cgi?url=http://www.loria.fr/equipes/protheo/PROJECTS/ELAN/elan-automata.html'" tppabs="http://www.nist.gov/cgi-bin/exit_nist.cgi?url=http://www.loria.fr/equipes/protheo/PROJECTS/ELAN/elan-automata.html">(ELAN)</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 Wed Jun 23 09:31:05 1999.<BR>
HTML page formatted Wed Dec 22 09:36:46 1999.
<P>
This page's URL is
<A href="treeautomata.html" tppabs="http://hissa.nist.gov/dads/HTML/treeautomata.html">http://hissa.nist.gov/dads/HTML/treeautomata.html</A>
</BODY>
</HTML>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -