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.