UFMG - Pós-graduação em Ciência da Computação - Programação Paralela

A seguir: Buffer: Estados e Estado Acima: O Buffer Compartilhado Anterior: Sistemas de Transições de

Computações de um Sistema de Transições

• Uma computação $\kappa$ de um sistema de transições T é uma sequência

  $$\kappa = [q_{0},\gamma_{0}],[q_{1},\gamma_{1}],\ldots,[q_{m},\gamma_{m}]$$

  em $(Q \times \Gamma)^{*}$ (conjunto de sequências no alfabeto formado por pares (estado, comando guardado)) tal que

  1.

  q₀ é o estado inicial de T

  2.

  $\forall k, 0 \leq k < m$, se $\gamma_{k} = (g,a)$ então g(q_k) = true e q_k+1 = a(q_k)

• Em outras palavras, uma computação deve começar pelo estado inicial, e prolongar-se através das ações de comandos com a guarda habilitada pelo estado corrente;