Please enable JavaScript.
Coggle requires JavaScript to display documents.
Não Determinismo - Coggle Diagram
Não Determinismo
Comandos
ANY
-
Permite uma escolha arbitrária de um valor para x que satisfaça o predicado q e então executa o comando t com base no valor escolhido.
-
-
CHOICE
-
Escolhe aleatoriamente um comando, dentre os listados, para ser executado.
-
SELECT
-
Escolhe aleatoriamente um comando, dentre os listados que estão habilitados, para ser executado.
-
Apenas se a guarda for verdadeira no estado atual é que o comando está habilitado para ser escolhido.
Operation Pre-Conditions
-
Introduz o não-determinismo porque a chamada da operação não significa que está será executada corretamente.
-
LET
-
Declara uma variável local, a inicializa e executa comandos com ela no espoco.
Exemplo
Jukebox
-
-
-
Operações
-
select (tt)
-
A máquina decide de forma aleatória se vai apenas tocar a música ou se também vai consumir um crédito.
-
play
Se tiver músicas na fila, então a máquina escolhe uma música aleatória da fila.
-
penalty
Caso haja créditos disponíveis, a máquina pode escolher se consome 1 crédito.
Caso haja músicas na fila, a máquina pode escolher uma música aleatória da fila para ser tocada.
Como a condições que habilitam ou não os comandos, a escolha aleatória é obtida através do comando SELECT
-
-