Turing-Maschinen
摘要
Die Turing-Maschine ist die mathematische Abstraktion eines Computers. Es zeigt sich, dass die vielen Varianten von Turing-Maschinen alle im Wesentlichen die gleichen Fähigkeiten haben und damit ein gutes Modell sind, um mathematische Aussagen über reale Computerprogramme zu erhalten.