O que é realmente engraçado no nome Software é que ele é uma das coisas mais duras na computação !
Quanto mais o Hardware
diminui em preço e aumenta em capacidade, mais horrivelmente complexo
o software se torna !
 |
Enquanto Ada Lovelace se tornou a primeira programadora, o primeiro a demonstrar todo o potencial do Software foi Alan Turing (1912-1954). |
Turing em 1936 imaginou a Máquina de Turing. Tal máquina não é real, é abstrata existindo apenas em teoria.
Em termos gerais,
uma máquina de Turing é um dispositivo de entrada e saída:
uma caixa preta que lê uma seqüência de zeros e uns. O
principal é que as mudanças de estado são definidas
por "Regras de transição". As Máquinas de Turing são
importantes porque propiciam um meio físico de raciocinar sobre
a lógica. Qualquer procedimento lógico bem definido pode
ser transformado numa Máquina de Turing. Por exemplo há uma
Máquina de Turing que faz adições.
Turing provou que pode-se construir uma máquina única, capaz de substituir todas as demais Máquinas de Turing. É a Máquina de Turing Universal, o truque é que ela pode ler "instruções". As implicações são atordoantes: uma máquina programável pode executar qualquer procedimento lógico bem definido, passo a passo.
John von Neumann evoluiu a idéia de Turing. Von Neumann observou que se poderia construir uma máquina X que construísse outras máquinas a partir de instruções em fita... Alimentar X com seu próprio projeto.
O computador digital é uma Máquina Universal de Turing imaginária a que se deu vida. Portanto como Turing mostrou ela pode fazer (simular) qualquer coisa, a única limitação é o tempo à disposição do usuário...
Para ser honesto há
uma lista de restrições...
