wskazuje kolejność symboli w napisie złożonym.
4. Rozgałęzienie
oznacza alternatywę definicyjną - można wybrać dowolną ze strzałek.
Przykłady cyfra dziesiętna
liczba bez znaku
3.3 Formalna definicja języka imperatywnego
Na tekst programu składają się
1. opis struktur danych, tzn. opis obiektów na których działa algorytm; gramie: definicje i deklaracje.
2. opis procesu obliczeniowego; w programie: instrukcje.
Czasem zawiera się to w następującej 'równości’:
program = algorytm + struktury danych
Formalną definicja (fragmentu) języka Pascal można przedstawić tak: program
identyfikator
blok