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 »