<?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="Automata theory - Page 5 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Automata_theory&amp;p=4">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Automata_theory&amp;p=6">3.Next</a>
</p>
<p>role in the <a href="page.php?w=theory_of_computation">theory of computation</a>, <a href="page.php?w=compiler_construction">compiler construction</a>, <a href="page.php?w=artificial_intelligence">artificial intelligence</a>, <a href="page.php?w=parsing">parsing</a> and <a href="page.php?w=formal_verification">formal verification</a>.</p>

<p><big>History</big></p>
<p>The theory of abstract automata was developed in the mid-20th century in connection with <a href="page.php?w=finite_automata">finite automata</a>. Automata theory was initially considered</p><p>
<a accesskey="1" href="page.php?w=Automata_theory&amp;p=4">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Automata_theory&amp;p=6">3.Next</a>
</p>

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

</card>
</wml>
