ALL

Na teoria da computabilidade e da complexidade, ALL é a classe de todos os problemas de decisão. Relações com outras classes ALL contém todas as classes complexas de problemas de decisão, incluindo RE e co-RE. Porque existem problemas de decisão que podem ou não ser indecidíveis devido ao halting problem e o conjunto de todas as Turing Machine's sendo maior que a quantidade de linguagens possíveis de processar, é impossível resolver todos esses problemas de decisão, mas eles são contavelmente infinitos External links