15.11.

- Barilla - AFJ
Návrh konečného automatu pro určitý jazyk lze někdy zjednodušit. Často se daný jazyk podaří vyjádřit pomocí několika
jednodušších jazyků. Poté je možné navrhnout automat pro tyto jednodušší jazyky a na jejich základě sestrojit výsledný
automat.
A důležitou pomoc zde poskytují teoretické poznatky o uzávěrových vlastnostech třídy jazyků rozpoznatelných
konečným automatem.

Důležité operace nad jazyky:

Levý kvocient L1 podle L2 je tedy tvořen všemi slovy, která vzniknou ze slov jazyka L1 odtržením nějakého počátečního
úseku patřícího do jazyka L2.
Podobně i pravý kvocient L1 podle L2 -> …koncového úseku…

Inverzní slova

Inverzí jazyka L budeme nazývat jazyk

Pro libovolné jazyky L1 a L2

Třída jazyků rozpoznatelných KA je uzavřená vůči průniku, sjednocení a průniku.