<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Deterministic pushdown automaton - Page 5 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=deterministic_pushdown_automaton&amp;p=4">1.Previous</a><br />
<a accesskey="3" href="page.php?w=deterministic_pushdown_automaton&amp;p=6">3.Next</a>
</p>
<p>and are prefix-free: no word in the language is the prefix of another word in the language.</p>

<p>The usual acceptance criterion is final state, and it is this acceptance criterion which is used to define the <a href="page.php?w=deterministic_context-free_languages">deterministic context-free languages</a>.</p>

<p><big> Languages recognized </big></p>
<p>If  is a language accepted by a PDA , it can also be accepted by a DPDA if and only if there is a single computation from the initial configuration until an accepting one for all strings belonging</p><p>
<a accesskey="1" href="page.php?w=deterministic_pushdown_automaton&amp;p=4">1.Previous</a><br />
<a accesskey="3" href="page.php?w=deterministic_pushdown_automaton&amp;p=6">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
