Komputer jest skończonym modelem uniwersalnego automatu algorytmicznego.
G. Verroust
Komputer jest uniwersalną analityczną maszyna obliczeniową z programem wprowadzanym.
R. Moreau.
Komputer jest automatem, złożonym z urządzenia wejściowego i wyjściowego, pamięci, jednostki
centralnej dokonującej wszelkiego rodzaju przekształceń danych wyrażonych w postaci ciągów znaków
(stanowiących materialne przedstawienie zakodowanych informacji), który pozwala – w granicach
fizycznych możliwości urządzenia – wykonywać wszelkie obliczenia typu symbolicznego (a zatem
rozwiązywać wszelkie zadania, których rozwiązanie można wyrazić w postaci algorytmu) pod
kierunkiem jednostki sterującej działającej zgodnie z programem zapisanym w pamięci (i wobec tego
traktujące instrukcje wykonawcze w ten sam sposób, co dane przeznaczone do przetworzenia).
G. Ifrah
