T-shirts Há um algoritmo para aquele

Na matemática e na informática, um algoritmo (de Algoritmi, o formulário Latin do al-Khwārizmī) é um procedimento passo a passo para cálculos. Os algoritmos são usados para o cálculo, o processo de dados, e o raciocínio automatizado. Mais precisamente, um algoritmo é um método eficaz expressado como uma lista finita [1] de instruções bem definidas para calcular uma função. Partindo de um estado inicial e de uma entrada inicial (talvez vazio), as instruções descrevem uma computação que, quando executada, continue com um número finito de estados sucessivos bem definidos, eventualmente produzindo a "saída"] e terminando em um estado final do término. A transição de um estado ao seguinte não é necessariamente determinística; alguns algoritmos, algoritmos asrandomized conhecidos, entrada aleatória incorporada. Um formalization parcial do conceito começou com as tentativas de resolver o Entscheidungsproblem (de "o problema decisão") levantado por David Hilbert em 1928. Os formalizations subseqüentes foram moldados como tentativas de definir "o calculability eficaz" ou "o método eficaz"; aqueles formalizations incluíram as funções recursivos de Gödel-Herbrand-Kleene 1930, 1934 e 1935, de lambda de Alonzo Church de um cálculo de 1936, formulação 1" do cargo de Emil de uma "de 1936, e de umas máquinas de Turing de Alan Turing de 1936-7 e de 1939. Dar uma definição formal dos algoritmos, correspondendo à noção intuitiva, permanece um problema desafiante.