Registrácia | Prihlásiť

Skriptá: Formálne jazyky a automaty

Skryť detaily | Obľúbený
Náhľady Náhľady Náhľady Náhľady
1.1 Abecedy a jazyky
Jazyk - sústava vyjadrovacích znakových prostriedkov (istého spoločenstva), ktorá slúži
ako nástroj myslenia, dorozumievania a vkladania poznatkov.
- jazyk, ako systém → jeho formálny model → presné tvrdenia (poznatky) →
využitie poznatkov na jazyky takto modelovanie (programovacie jazyky)

Základné pojmy (definície) -
Abeceda (tiež slovník) - ľubovoľná konečná množina symbolov.
Abeceda - vybratá z nekonečnej množiny (spočítateľnej) symbolov.
Hodnotenie (0x):