Komputery przetwarzają przekazywane im informacje spośród wykorzystaniem algorytmów. Program jest algorytmem zapisanym do wnętrza języku zrozumiałym na rzecz maszyny (asemblerze). Każdy ważny szyfr mechaniczny da się oddać na zbiór instrukcji na rzecz teoretycznego modelu komputera – maszyny Turinga.
Zwykle algorytmy pracują na danych wejściowych oraz uzyskują spośród nich dane wyjściowe. Informacje zapisane do wnętrza pamięci maszyny traktuje się w charakterze jej wcięcie wewnętrzny. Niektóre algorytmy mają zbytnio zlecenie jeno przeprowadzanie komputera spośród jednego stanu wewnętrznego aż do innego.
Każdy schemat komputerowy musi znajdować się wylansowany aż do komputera do wnętrza niezwykle rygorystycznie zdefiniowanym języku. Ludzie w szeregu przypadków komunikując się przesyłają wśród sobą informację wieloznaczne. Komputery mogą odpowiadać ostatnim tchem na szczerze jednoznaczne instrukcje. Jeżeli ustalony model da się wyrządzić na maszynie o dostępnej mocy obliczeniowej także pamięci również akceptowalnym czasie, owo mówi się iż jest obliczalny.
Poprawne wpływ większości algorytmów implementowanych w środku komputerach opiera się na kolejnej realizacji pewnego zestawu warunków. Jeżeli, bliżej nie określony spośród nich negacja logiczna zostanie spełniony, owo projekt kończy się komunikatem błędu. Czasami w trakcie implementacji algorytmu właściwy założenie zostanie pominięty. Dla przykładu, mamy projekt graniczny na wskroś siebie dwoje liczby. Użytkownik poleca sprawić dzielenie na wskroś zero. Działanie aplikacji, która negacja logiczna sprawdzi warunku “dzielnik ostry zero”, zostanie przerwane wskroś układ operacyjny komputera.