Matematické Fórum


1. 8. 2026 (L) Fórum bude brzy uzavřeno 😿

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: 109
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: 4247
Š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