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