Ein Modell für Schaltwerke
Wie schon gesagt, modellieren wir Signale als Ströme, d.h zeitabhängige Funktionen.
Hier verwenden wir einen diskreten Zeitbegriff, der zur Taktung des von-Neumann-Rechners paßt: Die Taktfrequenz wird so gewählt, daß am Ende jedes Taktintervalls alle Gatterausgänge stabil sind.
- type Time = Int -- mit entsprechenden Zusicherungen
- type Stream a = Time -> a
Dies läßt sich leicht auf kontinuierliche Zeit verallgemeinern.