Una sentencia define una acción que será realizada cuando la sentencia se ejecute. Una sentencia puede ser: simple, si no engloba otras sentencias, o compuesta, si engloba otras sentencias.
La sentencia nula (null_statement) sirve para no hacer nada.
Las sentencias pueden ir acompañadas de etiquetas (label) que las identifiquen.
sequence_of_statements ::= statement {statement} statement ::= {label} simple_statement | {label} compound_statement simple_statement ::= null_statement | assignment_statement | exit_statement | goto_statement | procedure_call_statement | simple_return_statement | entry_call_statement | requeue_statement | delay_statement | abort_statement | raise_statement | code_statement compound_statement ::= if_statement | case_statement | loop_statement | block_statement | extended_return_statement | accept_statement | select_statement null_statement ::= null; label ::= <<label_identifier>>