Notazione Kappa-f/Sequenze

Wikibooks, manuali e libri di testo liberi.

Un blocco o sequenza (quest'ultimo termine è da preferire [1]) è un insieme di istruzioni che si susseguono. Nella notazione Kappa-f una sequenza si indica con una parentesi graffa aperta.

Per esempio una sequenza nella quale vengono eseguiti i calcoli p = p + 2, q = p2 ed r = p + q si scriverà in questo modo:

\begin{cases}p = p + 2 \\ q = p^2 \\ r = p + q\end{cases}

I calcoli vengono eseguiti dall'alto verso il basso, ovvero, prima viene eseguito il calcolo più in alto e man mano quelli più in basso, quindi nel seguente blocco:

\downarrow \begin{cases}a = 5 + 3 \\ b = a + 2\end{cases}

Verrà eseguito prima a = 5 + 3, quindi a = a + 2.

[modifica] Note

  1. La nomenclatura si rifà al Teorema di Böhm-Jacopini

Strumenti personali