15.4 Ein Modell für Schaltnetze
Um von Stelligkeitsbetrachtungen frei zu werden, gehen wir von Tupeln von Ein- und Ausgaben über zu Listen. Dies erleichtert die Definition der Zusammensetzungs-operationen.
Ein Schaltnetz wird dann modelliert als Funktion von Listen auf Listen (ganzer Zahlen).