Endliche Automaten

Zusammenfassung

In den Kapiteln 2 und 3 haben wir untersucht, was Rechner insgesamt leisten können. Wenn wir einmal von den von uns betrachteten Maschinenmodellen, also von RAM und Turingmaschinen ausgehen, so bestehen diese im wesentlichen aus zwei Komponenten: den unbeschränkten Informationsspeichern (Register bzw. Bänder) und dem Teil, der die Arbeit der Maschine steuert (Programm und Befehlszähler bzw. Steuereinheit). In diesem Abschnitt wollen wir ein Modell für diese logischen Steuerungsmechanismen betrachten und sehen, wie man diese durch Schaltkreise realisieren kann.