5 relações: Ciência da computação, Função multivalorada, Máquina de estados finitos não determinística, Máquina de Turing, Ordem lexicográfica.
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: Máquina de Turing não determinística e Ciência da computação · Veja mais »
Função multivalorada
Em matemática, uma função multivalorada (forma abreviada: multifunção; outros nomes: função polivalente, função de conjunto valorizado, mapa de conjunto valorizado, mapa ponto para conjunto, mapa multi-valorada, multi-mapa, correspondência, portadora, multívoca, polídroma, multiaplicação) é uma relação binária (isto é, cada entrada é associada com pelo menos uma saída) em que pelo menos uma entrada é associada a várias (duas ou mais) saídas.
Novo!!: Máquina de Turing não determinística e Função multivalorada · Veja mais »
Máquina de estados finitos não determinística
Na teoria da computação, uma máquina de estados finita não-determinística ou um autômato finito não-determinístico (AFND) é uma máquina de estados finita onde para cada par de estado e símbolo de entrada pode haver vários próximos estados possíveis.
Novo!!: Máquina de Turing não determinística e Máquina de estados finitos não determinística · Veja mais »
Máquina de Turing
Representação artística de uma máquina de Turing A Máquina de Turing é um dispositivo teórico conhecido como máquina universal, que foi concebido pelo matemático britânico Alan Turing (1912-1954), muitos anos antes de existirem os modernos computadores digitais (o artigo de referência foi publicado em 1936).
Novo!!: Máquina de Turing não determinística e Máquina de Turing · Veja mais »
Ordem lexicográfica
Em matemática, uma ordem lexicográfica, também conhecida como ordem do dicionário ou ordem alfabética, é uma estrutura de ordem natural do produto cartesiano de dois conjuntos ordenados.
Novo!!: Máquina de Turing não determinística e Ordem lexicográfica · Veja mais »