Maszyna Turinga

Definicja

Model teoretyczny komputera definiujący granice tego, co jest fizycznie możliwe do obliczenia w ramach skończonych procedur algorytmicznych.