- - - - CENAPAD-MGCO

A seguir: Comandos Paralelos Acima: CSP - Communicating Sequential Anterior: CSP - Communicating Sequential

Conceitos e Notações

BNF:

<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.