Eine mathematische Maschine ist ein in der theoretischen Informatik verwendetes mathematisches Modell einer idealen Maschine, welches mathematisch präzise definiert ist. Ein solches Modell ist einerseits so einfach gehalten, dass es noch mathematischen Analyse- und Beweismethoden zugänglich ist, andererseits aber so komplex, um noch wesentliche Eigenschaften zu besitzen, die auch für eine reale Maschine charakteristisch wären. Es handelt sich somit um eine Abstraktion.

Beispiele sind:

• endlicher Automat
• Kellerautomat
• Registermaschine
• Turingmaschine
• Typ-2 Maschine
• Baumautomat
• Büchiautomat
• Spiel

Siehe auch: Automat (Informatik)

Theoretische Informatik