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

Sistema de Transição

Índice Sistema de Transição

Na teoria da ciência da computação, um sistema de transição é um conceito utilizado no estudo da computação.

9 relações: Bissimulação, Ciência da computação teórica, Conjunto unitário, Estado (ciência da computação), Grafo orientado, Máquina de estados finita, Semântica operacional, Subconjunto, Verificação de modelos.

Bissimulação

Na teoria da computação uma bissimulação é uma relação binária entre sistemas de transição de estados, ou também chamados apenas de sistemas de transição (sistemas constituintes de estados e transições), associando sistemas que se comportam da mesma maneira no sentido de que um sistema simula o outro e vice-versa.

Novo!!: Sistema de Transição e Bissimulação · Veja mais »

Ciência da computação teórica

Ciência da computação teórica (TCS) ou informática teórica é uma divisão ou subconjunto de ciências da computação e matemática que incide sobre os aspectos mais abstratos ou matemáticos da computação e inclui a teoria da computação.

Novo!!: Sistema de Transição e Ciência da computação teórica · Veja mais »

Conjunto unitário

Em matemática, um conjunto unitário, também conhecido como singleto, é um conjunto com exatamente um elemento.

Novo!!: Sistema de Transição e Conjunto unitário · Veja mais »

Estado (ciência da computação)

Na ciência da computação e na teoria de autômatos, o estado de um circuito lógico digital ou programa de computador é um termo técnico para todas as informações armazenadas, em um determinado ponto no tempo, para que o circuito ou programa tem acesso.

Novo!!: Sistema de Transição e Estado (ciência da computação) · Veja mais »

Grafo orientado

Um grafo orientado (direcionado). Um grafo orientado, grafo dirigido, grafo direcionado ou digrafo é um par G.

Novo!!: Sistema de Transição e Grafo orientado · 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!!: Sistema de Transição e Máquina de estados finita · Veja mais »

Semântica operacional

Semântica operacional é uma das abordagens de semântica formal, em que o significado de uma construção da linguagem é especificado pela computação que ela induz quando executada em uma máquina hipotética.

Novo!!: Sistema de Transição e Semântica operacional · Veja mais »

Subconjunto

Diagrama de Euler ilustrando o fato de que A é subconjunto de B ou, equivalentemente, que B é superconjunto de A Em teoria dos conjuntos, quando todo elemento de um conjunto A é também elemento de um conjunto B, dizemos que A é um subconjunto de B, denotado A \subseteq B (também dito "A é uma parte de B" ou "A está contido em B").

Novo!!: Sistema de Transição e Subconjunto · Veja mais »

Verificação de modelos

No campo da ciência da computação, verificação de modelos (do inglês, Model Checking) refere-se ao problema de testar automaticamente se um modelo que representa um sistema atende a uma dada especificação.

Novo!!: Sistema de Transição e Verificação de modelos · Veja mais »

CessanteEntrada
Ei! Agora estamos em Facebook! »