Diese Studienarbeit soll zu einem kleinen Teil mithelfen ( positiv wie auch negativ), eine theoretische Vorlesung im Rahmen des ingenieur-orientierten Modellstudiengangs 'Softwaretechnik' zu gestalten. Ziel war es, Theorie nicht analytisch und deduktiv zu entwickeln, sondern die konstruktiven Aspekte, beschraenkt auf die Endlichen Automaten, zu betonen. Es ist auch der Versuch, wie man ausgehend von Beispielen, unter Einbeziehung paedagogischer Ueberlegungen, zu formaler Notation und der Notwendigkeit von Abstraktion hinfuehren koennte.

Die Arbeit gliedert sich in zwei Teile: In die Entwicklung eines Beispieles von der Problemstellung ueber Spezifikation und Implementierung als Schaltwerk und dem Entwickeln der Hilfsmittel und dem Aufzeigen der Moeglichkeiten der Theorie im Bezug auf die regulaeren Sprachen.