<map id="structs" name="structs">
<area shape="rect" id="node1" href="$a00913.html" title="Concept" alt="" coords="332,6,407,35"/>
<area shape="rect" id="node3" href="$a00914.html" title="Operators on automata" alt="" coords="283,82,456,111"/>
</map>
