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

A seguir: Comandos Paralelos Acima: Aula 13 - CSP Anterior: CSP: Sumário

Conceitos e Notações

Conceitos e Notações

<command> ::= <simple command> |
              <structured command>

<simple command> ::= <null command> |
                     <assignment command> |
                     <input command> |
                     <output command >

<structured command> ::= <alternative command> |
                         <repetitive command> |
                         <parallel command>

<null command> ::= skip

<command list> ::= {<declaration>; |<command>;} <command>

• chaves indicam zero ou mais repetições;
• um comando pode ser bem sucedido ou falhar;
• um comando nulo não tem nenhum efeito, e nunca falha;
• uma lista de comandos especifica execução sequencial;
• cada declaração introduz novas variáveis, cujo escopo vai até o fim da lista.