Comandos Não-Determinísticos e Atribuição Simultânea PLP – Projeto 2 Julho/2003 Prof. Augusto Sampaio Cibele da Rosa Christ [crc2] Gleifer Vaz Alves [gva] Laércio Dias [ld]
Descrição do Projeto Estende a Linguagem Imperativa 2 com comandos não-determinísticos e atribuição simultânea. Comandos Implementados: – AtribuicaoSimultanea, Onde é possível atribuir valores a mais de um identificador. – IfDijkstra, – DoDijkstra, A mbas seguindo o estilo da linguagem não-determinística de Dijkstra
Atribuição Simultânea id1, id2...idn := e1, e2...en; var x=2, var y=3; x,y := y,x; Resultado desejado: x = 3 e y = 2
Linguagem Dijkstra – Comandos Não- Determinísticos Escolhe aleatoriamente umas das condições verdadeiras e executa o comando correspondente Quando todas as condições forem falsas, o comando falha If e1 then c1 e2 then c2... en then cn fi Escolhe aleatoriamente umas das condições verdadeiras, executa o comando correspondente e reinicia a execução Quando todas as condições forem falsas, o comando termina do e1 -> c1 e2 -> c2... en -> cn od