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 16. 02. 2013 19:57

Ilhvm
Místo: Ostrava
Příspěvky: 80
Reputace:   
 

Deterministický konečný automat

Zdravím,

potřebovala bych poradit, jak sestrojid DKA z regulárního jazyku:

$L = [(a+ba*)*(b+c)*(cc)*]$

Nerozumím hlavně těm hvězdičkám.

Děkuji za pomoc.

Offline

 

#2 16. 02. 2013 20:12 — Editoval Bati (16. 02. 2013 20:12)

Bati
Příspěvky: 2467
Reputace:   192 
 

Re: Deterministický konečný automat

Ahoj,
hvězdička za nějakým znakem, nebo skupinou obvykle znamená, že daná skupina se může opakovat libovolně-krát (včetně nuly). + se od * liší jen tím, že daná skupina je tam aspoň jednou.

Offline

 

#3 16. 02. 2013 20:17

Ilhvm
Místo: Ostrava
Příspěvky: 80
Reputace:   
 

Re: Deterministický konečný automat

↑ Bati:

Výborně, no a podle těch závorek to bude rozděleno jak? To mi vzniknou 3 DKA? Nebo je mezi nimi násobení?

Offline

 

#4 16. 02. 2013 20:26 — Editoval Bati (16. 02. 2013 20:28)

Bati
Příspěvky: 2467
Reputace:   192 
 

Re: Deterministický konečný automat

↑ Ilhvm:
Ne, sestrojíš jeden automat. Není tam žádné násobení, uvědom si, že L je nějaká množina slov a ten zápis ti říká jaká všechna slova tam patří.
Příklad slov, které patří do L:  "nic", (aaab)(bbbbc)(cc), (abaaaa)(cc), (cc)(cc)(cc)(cc), ...
Závorky tam nemají pak co dělat, protože jsou to slova, ale nechal jsem je tam pro přehlednost.

Offline

 

#5 16. 02. 2013 20:54

Ilhvm
Místo: Ostrava
Příspěvky: 80
Reputace:   
 

Re: Deterministický konečný automat

Takhle nějak cca?


http://forum.matweb.cz/upload3/img/2013-02/44431_DKA.jpg

Omlouvám se za ne moc povedenou kresbu :))

Offline

 

#6 16. 02. 2013 21:13

Bati
Příspěvky: 2467
Reputace:   192 
 

Re: Deterministický konečný automat

No, ještě si to promysli. Tímhle automatem, cos namalovala např. neprojde slovo, začínající na c, pokud 5 je přijímací stav a 1 startovní.
Doporučuju pro každý stav napsat kam posílá každý ze znaků (nevynechávat).
Online kreslítko např. zde: http://madebyevan.com/fsm/

Offline

 

#7 16. 02. 2013 21:36

Ilhvm
Místo: Ostrava
Příspěvky: 80
Reputace:   
 

Re: Deterministický konečný automat

↑ Bati:

Takže ten automat může začínat všemi písmeny? A končit taky všemi? Trošku mě mate to pořadí těch závorek, jestli to má nějaký vliv.

Offline

 

#8 16. 02. 2013 21:45

Bati
Příspěvky: 2467
Reputace:   192 
 

Re: Deterministický konečný automat

Může začínat jedním libovolným stavem a končit libovolně mnoha stavy. Na pořadí závorek samozřejmě záleží, stejně jako na pořadí znaků ve slově.

Offline

 

#9 16. 02. 2013 22:16

Jookyn
Místo: Mar. Lázně / Praha
Příspěvky: 143
Reputace:   11 
 

Re: Deterministický konečný automat

Dal bych si pozor, jak je definovano +, v programovani se pouziva jak pise ↑ Bati:, ale v automatech a gramatikach to vetsinou znamena nebo. Takze (b+c) znamena, ze je tam b nebo c, ne ze je tam alespon jedno b a pak jedno c.

Ale to je potreba overit ve zdrojich podle kterych se to ucis...

Offline

 

#10 17. 02. 2013 08:18

Ilhvm
Místo: Ostrava
Příspěvky: 80
Reputace:   
 

Re: Deterministický konečný automat

↑ Jookyn:

Máš pravdu s tím, že + je nebo. No, každopádně mě to napadlo udělat ještě takto:

http://forum.matweb.cz/upload3/img/2013-02/85492_DKA.jpg

Offline

 

#11 17. 02. 2013 08:36

Ilhvm
Místo: Ostrava
Příspěvky: 80
Reputace:   
 

Re: Deterministický konečný automat

Ještě jsem tam zapomněla, že z předposledního stavu půjde šipka nahoru na druhý stav. Možná mi tam chybí ještě nějaká zpátečka, jak tak koukám.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson