Im folgenden Simulator ist eine Fußgängerampel dargestellt.

<ul>
    <li>Im Normalfall ist die Ampel rot.</li>
    <li>Dr&uuml;ckt ein Benutzer den Knopf, so wird ein Timer gestartet.</li>
    <li>Nach Ablauf des Timers wird die Ampel gr&uuml;n.</li>
    <li>Dabei wird erneut ein Timer gestartet.</li>
    <li>Nach Ablauf des Timers wird die Ampel wieder rot.</li>
    <li>Dr&uuml;ckt ein Benutzer den Knopf, so wird der Timer erneut gestartet.</li>
    <li>...</li>
</ul>

<p>
    Konstruiere im folgenden Simulator einen endlichen Automaten, der die Fu&szlig;g&auml;ngerampel steuert.
</p>
<p>
    Tipp: Unter dem Simulator werden die Eingabe- und Ausgabesymbole des Automaten erkl&auml;rt.
</p>