Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Máquina X

Índice Máquina X

A Máquina-X (XM) é um modelo de computação teórico introduzido por Samuel Eilenberg em 1974.

13 relações: Código-fonte, Compilador, Computação, Domínio (matemática), Especificação formal, Hipercomputação, Máquina de estados finita, Máquina de Turing, NASA, Panini, Relação (matemática), Samuel Eilenberg, Tipo de dado.

Código-fonte

Código-fonte (source code em inglês) é o conjunto de palavras ou símbolos escritos de forma ordenada, contendo instruções em uma das linguagens de programação existentes, de maneira lógica.

Novo!!: Máquina X e Código-fonte · Veja mais »

Compilador

GCC versão 4.0.2 rodando em uma janela xterm. Um programa simples está sendo compilado e então executado. Um compilador é um programa de computador (ou um grupo de programas) que, a partir de um código fonte escrito em uma linguagem compilada, cria um programa semanticamente equivalente, porém escrito em outra linguagem, código objeto.

Novo!!: Máquina X e Compilador · Veja mais »

Computação

A computação é qualquer atividade orientada a objetivos que exija, se beneficie ou crie máquinas de computação.

Novo!!: Máquina X e Computação · Veja mais »

Domínio (matemática)

Na matemática, e mais especificamente na teoria ingênua dos conjuntos, o domínio de definição (ou simplesmente o domínio) de uma função é o conjunto de valores de "entrada" ou argumento para os quais a função é definida.

Novo!!: Máquina X e Domínio (matemática) · Veja mais »

Especificação formal

Uma especificação formal é uma descrição matemática de software ou de hardware que pode ser utilizada para desenvolver uma implementação dos mesmos.

Novo!!: Máquina X e Especificação formal · Veja mais »

Hipercomputação

Hipercomputação ou computação super-Turing refere-se aos modelos de computação que são mais poderosos que, ou são incomparáveis com, computabilidade de Turing.

Novo!!: Máquina X e Hipercomputação · Veja mais »

Máquina de estados finita

Uma máquina de estados finita (FSM - do inglês Finite State Machine) ou autômato finito é um modelo matemático usado para representar programas de computadores ou circuitos lógicos.

Novo!!: Máquina X e Máquina de estados finita · 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 X e Máquina de Turing · Veja mais »

NASA

Administração Nacional da Aeronáutica e Espaço (National Aeronautics and Space Administration — NASA) é uma agência do governo federal dos Estados Unidos responsável pela pesquisa e desenvolvimento de tecnologias e programas de exploração espacial.

Novo!!: Máquina X e NASA · Veja mais »

Panini

Panini pode referir-se a.

Novo!!: Máquina X e Panini · Veja mais »

Relação (matemática)

Em matemática, uma relação é uma correspondência (ou associação) entre elementos de dois conjuntos não vazios.

Novo!!: Máquina X e Relação (matemática) · Veja mais »

Samuel Eilenberg

Samuel Eilenberg (Varsóvia, — Nova Iorque) foi um matemático polonês.

Novo!!: Máquina X e Samuel Eilenberg · Veja mais »

Tipo de dado

Em ciência da computação tipos de variáveis ou dados é uma combinação de valores e de operações que uma variável pode executar, o que pode variar conforme o sistema operacional e a linguagem de computador.

Novo!!: Máquina X e Tipo de dado · Veja mais »

CessanteEntrada
Ei! Agora estamos em Facebook! »