2 relações: Linguagem recursivamente enumerável, Máquina de Turing.
Linguagem recursivamente enumerável
Em matemática, lógica e ciência da computação, uma linguagem recursivamente enumerável é um tipo de Linguagem formal que também é chamada de linguagem Turing-reconhecível.
Novo!!: Enumerador e Linguagem recursivamente enumerável · 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!!: Enumerador e Máquina de Turing · Veja mais »