4962385647

3 Język Pascal

3.1    Języki programowania wysokiego poziomu

Języki programowania wysokiego poziomu są to sformalizowane języki służące do zapisu algorytmów.

Typy języków programowania wysokiego poziomu:

1.    imperatywne: Pascal, C, Basic, Fortran, Cobol, APL, Algol, Forth, ...

2.    funkcyjne: ML, Miranda, Haskel, ...

3.    programowanie w logice: Prolog.

4.    programowanie zorientowane obiektowo: SmallTalk, C⁺⁺...

5.    programowanie równoległe: Occam, Concurrent Pascal, ...

Na opis języka programowania składa się:

1.    Precyzyjna składnia tzn. dokładne określenie co jest dopuszczalnym programem w tym języku.

2.    Jednoznaczna semantyka tzn. jednoznaczny opis każdego wyrażenia dozwolonego składniowo.

(a)    Semantyka operacyjna: opis stanu komputera przed i po wykonaniu instrukcji.

(b)    Semantyka denotacyjna: opis funkcji przekształcającej dane wejściowe w dane wyjściowe.

3.2    Diagramy składniowe

Składnię języka programowania można opisywać graficznie przy pomocy diagramów składniowych lub tekstowo przy pomocy notacji BNF. My opiszemy składnie języka Pascal graficznie.

W diagramie składniowym obiekt definiowany występuje jako podpis do rysunku definiującego. Symbole:

1. Blok owalny

( )

obejmuje symbole oznaczające same siebie.

2. Blok prostokątny

obejmuje pojęcie zdefiniowane gdzie indziej.

3. Strzałka