Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

#1 04. 04. 2015 17:40 — Editoval Akcope (04. 04. 2015 17:40)

Akcope
Příspěvky: 108
Reputace:   
 

Analýza a syntéza konečných automatů

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

 

#2 05. 04. 2015 23:24

Kondr
Veterán
Místo: Linz, Österreich
Příspěvky: 4246
Škola: FI MU 2013
Pozice: Vývojář, JKU
Reputace:   38 
 

Re: Analýza a syntéza konečných automatů

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


BRKOS - matematický korespondenční seminář pro střední školy

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson