Skriptes - Uni Bremen - Universität Bremen

Endliche Automaten
Wegen der extrem großen Anzahl von Zuständen sind endliche Automaten aber keine
geeignete Abstraktion für Rechner. Ausserdem verwendet man einen Rechner (z.B. bei
der Programmierung) nicht als endlichen Automat indem man etwa ausnutzt, dass der
Arbeitsspeicher ganz genau 2GB gross ist. Stattdessen nimmt man den Speicher als potentiell
unendlich an und verlässt sich auf Techniken wie Swapping und Paging. In einer
geeigneten Abstraktion von Rechnern sollte daher der Speicher als unendlich angenommen
werden. Ein entsprechendes Modell ist die Turingmaschine, die wir später im Detail
kennenlernen werden.
18