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. 10. 2010 20:42

andytun
Zelenáč
Příspěvky: 15
Reputace:   
 

bezkontextová gramatika

Zdravím, nevyřešil by někdo tohle? Díky mockrát! Je dána bezkontextová gramatika:

P = (S -> aB | bA
        A -> bAA | a | aS
        B -> aBB | b | bS 

                                 

1. Zapište levou derivaci slov ab, ba, abba, baaabb.
2. Zapište pravou derivaci slov bbaa, ababba, baaabb, baaabbab.

Offline

  • (téma jako vyřešené označil(a) gladiator01)

#2 04. 10. 2010 22:31

gladiator01
Místo: Jindřichův Hradec
Příspěvky: 1587
Škola: ZČU FAV - SWI
Pozice: absolvent
Reputace:   53 
Web
 

Re: bezkontextová gramatika

P = (S -> aB | bA
        A -> bAA | a | aS
        B -> aBB | b | bS 

levá derivace - nahrazuješ neterminál (pravou stranou pravidla), který je nejvíce vlevo, terminál, který nejde už rozložit opíšeš
  řetěz: ab
       
  S -> aB -> ab

  řetěz: abba

  S -> aB ->  abS ->  abbA ->abba


pravá derivace - nahrazuješ neterminál (pravou stranou pravidla), který je nejvíce vpravo, terminál, který nejde už rozložit opíšeš
řetěz: bbaa
 
S -> bA ->bbAA -> bbAa -> bbaa



Na těch tvých příkladech to moc není vydět, tak pro názornost přikládám obrázek:
http://www.sdilej.eu/pics/4736e6768fcbe867e8d9ea1ad65ad0d6.jpg


Naděje jako svíce jas, potěší srdce štvané, čím temnější je noční čas, tím zářivěji plane.
VIVERE - MILITARE EST (Seneca)
Vím, že nic nevím. - Sokrates

Offline

 

#3 05. 10. 2010 06:55

ondrouchd
Příspěvky: 43
Reputace:   
 

Re: bezkontextová gramatika

Konkretne leva derivace se vyuziva pri dukazovani ekvivalence konecneho automatu a regularni gramatiky.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson