-
Co je matematická lingvistika (dále ML)?
-
vymezení základních odvětví ML:
- kvantitativní lingvistika
- algebraická lingvistika
vymezení dalších podoborů ML:
- statistická lingvistika
- formální lingvistika
- aplikovaná mat. lingvistika
- strojová lingvistika
-
vztah ML k matematice, zejména k:
- informatice
- matematické teorii (formálních) jazyků
- algebře
- matematické logice
- pravděpodobnosti a statistice
- vztah ML ke kybernetice a logice
- kybernetika a jazyk
- přirozené a umělé jazyky
- algebraická lingvistika - úvod
-
Základy matematické teorie jazyků: teorie formálních jazyků
- formální gramatiky - Chomského hierarchie a její motivace
- generativní a rekognoskativní procedury
- rekurzivita, rekurzívní a rekurzívně-spočetné jazyky
- vztah formálních gramatik a jazyků (přirozených a umělých)
- lingvisticky motivované příklady formálních gramatik a jazyků generovaných těmito gramatikami
- generativní (slabá) a explikativní síla gramatik
-
Bezprostředně-složkové a kategoriální gramatiky
- motivace a definice bezprostředně-složkových gramatik
- Chomského Syntaktické struktury - jazyk vymezený generativní gramatikou
- frázová a transformační gramatika, frázový ukazatel
- 3 stadia vývoje transformační generativní gramatiky
-
Závislostní gramatiky
- základní charakteristika závislostních gramatik a jejich postavení v rámci teorie formálních jazyků
- graf reprezentace věty - stromová struktura
- slovosled
- projektivní a neprojektivní konstrukce
- koordinace
- srovnání bezprostředně-složkových a závislostních gramatik
-
Úvod do teorie automatů
- automaticky jako matematické struktury (zařízení)
-
typy automatů z hlediska slabé (generativní) síly a jejich vztah k formálním gramatikám:
- konečné automaty
- zásobníkové automaty
- lineárně ohraničené automaty
- Turingovy stroje
- automaty jakožto akceptory a generátory
- příklady jazyků zpracovávaných určitými typy automatů
-
Syntaktická a lexikální analýza a syntéza, morfologie
- generace a průchod řetězu konečněstavovým automatem
- generace řetězu a průchod zásobníkovým automatem
- strojový překlad a adekvátnost typů gramatik pro analýzu a syntézu přirozených jazyků