Wir können zum Beispiel Prozesse beschreiben, die entweder größen- (z.B. n-Bit Addierer) oder zeitabhängig (z.B. (Quelle: bmb+f Forschungslandkarte Deutschland 1998)
Angenommen, wir haben einen 1-Bit Addierer mit einer Formel Addierer(x, y, z, cin, cout) mit Booleschen Eingängen x, y, Ausgang z sowie In-Übertrag cin und Aus-Übertrag cout beschrieben. (Quelle: bmb+f Forschungslandkarte Deutschland 1998)