The CuCh Machine

Die Boehm CuCh ist ein kleines aber leistungsfähiges interaktives Programmiersystem, das wie folgt funktioniert:
(1) ein logisch und arithmetisch programmierbarer Rechner
(2) ein funktionales Programmiersystem
(3) ein CuCh-Objekt reduziert die Normalform

Die CuCh-Maschine steht für:
- Ein formaler Rahmen für die Synthese der kombinatorischen Logik von Curry und des Lambda-Kalküls der Kirche in einer Reihe bewährter mathematischer Einstellungen
- Ein bewährter und fruchtbarer Ansatz, der in über 50 Jahren Forschung und Implementierung entwickelt wurde, von Schlüsselartikeln der theoretischen Informatik bis zu einer der ersten

Die Idee einer Sprache, die Curry-Kombinatoren und den Lambda-Kalkül der Kirche umfasst, wird zuerst in der Veröffentlichung von Boehm Gross "Einführung in die CuCh" in der Automaten-Theorie vorgestellt
ed. Caianiello, Ass.Press (1966). Ein Algorithmus, der die Reduktion eines beliebigen CuCh-Terms ermöglicht
Die Normalform wird in einem Artikel von Corrado BohmDezani erläutert "Die CuCh-Maschine: Die automatische Behandlung von gebundenen Variablen" IJCIS (Juni 1972 und Juni 73).
Nachdem die berühmte CuCh-Maschine mit Wolf Gross (1966) in den späten 80er Jahren entwickelt wurde
Corrado Bohm hat das Projekt zur Realisierung einer neuen Cuch-Maschine übernommen. Mehrere Corrado-Studenten halfen ihm bei diesem Projekt, insbesondere Stefano Guerrini und einer der Autoren
(Luigi Mazzucchelli).

Seine Fähigkeiten, seine Portabilität (z. B. für eine App) und seine potenzielle Rolle im Kontext des
Die weit verbreitete Anwendung des Paradigmas der funktionalen Programmierung macht die CuCh zu einer der wichtigsten Reduktionsmaschinen in der Informatik.