Zdravím, potřeboval bych vysvětlit, nebo pomoct najít zdroje k tomuto tématu, jelikož ze zápisků z přednášky tomu nerozumím, ve skriptech to není, a na internetu to mám problém najít vzhledem k specifičnosti tohoto tématu a obecnosti jeho názvu. Klidně by to stačilo i v angličtině..
V analýze jde o proces, kde vstupem je nějaký konečný automat, a výstupem odpovídající regulární jazyk.
V syntéze je to pak naopak. Vstup je regulární jazyk L daný pomocí jeho regulárního výrazu, a výstup konečný automat Q - ním množina akceptovaných jazyků je L(Q) = L.
Jde mi hlavně o tu analýzu - v zápiscích tu k teorii mám definice : cesta, počáteční komplex, komplex typu s|N, což je pak aplikováno na příklady. Definicím sice vzdáleně rozumím, ale vůbec netuším jak jsou aplikovány na ty příklady.
Házím sem zápisky k té analýze - třeba tu látku někdo pozná
Odkaz 1
Odkaz 2
Moc by mi pomohlo kdyby to někdo uměl vysvětlit, nebo věděl o nějakém zdroji na webu, předem díky.
Offline

Zdravím, důkaz věty 2.62 v http://is.muni.cz/elportal/estud/fi/js0 … maty_I.pdf popisuje převod automatu na regulární výraz, tedy analýzu. Metoda popsaná v odkazu se jmenuje "transitive closure method" a je k nalezení i jinde:
http://cs.stackexchange.com/questions/2 … xpressions
http://www.fit.vutbr.cz/~izemek/grants. … amp;id=589
Offline