- - - - CENAPAD-MGCO

A seguir: Computações de um Sistema Acima: O Buffer Compartilhado Anterior: Propriedades Formais

Sistemas de Transições de Estados

• Um sistema de transições T é uma tripla $T=(Q,\Gamma,q_{0})$onde
  • Q é um conjunto de estados - conjunto dos possíveis valores assumidos pelas variáveis estáticas do algoritmo
  • $\Gamma$ é um conjunto de comandos guardados
  • $q_{0} \in Q$ é um estado inicial.
• Um comando guardado $\gamma \in \Gamma$ é um par $\gamma = (g,a)$, onde
  • $g:Q \rightarrow \{true,false\}$ é uma função que tem como parâmetro um elemento de Q e como resultado true ou false; é uma guarda que habilita ou desabilita o comando
  • $a:Q\rightarrow Q$ é uma ação que transforma o estado do sistema.
• Todo sistema de transições contém obrigatoriamente o comando guardado nop = (true, identity), que sempre pode ser executado mas não altera o estado do sistema.