Buffer: Estados e Estado Inicial

-

-

-

-

A seguir: Buffer: Comandos Guardados Acima: O Buffer Compartilhado Anterior: Computações de um Sistema

Buffer: Estados e Estado Inicial

O conjunto Q de estados é determinado pelas variáveis na seguinte tabela:

Variável	Valores	Valor Inicial
consumerState	{thinking, hungry }	thinking
producerState	{thinking, hungry }	thinking
buffer	char^*	$\ensuremath{\epsilon}$
n	int
product	char
consumption	char

Osvaldo Carvalho

-

-