Citat:
Ursprungligen postat av
NoggerTattoo
http://puu.sh/8GUVG.png
kanske inte hör hemma här ?
upskattar hjälp!
Å ja! Äntligen lite automatateori!
Vi vill kunna skriva obegränsat många c:n i slutet, men för varje a och b vill vi samtidigt skriva ett c. Så en CFG fås av:
S -> aSc | Sc | B
B -> bBc | "tomma strängen"
Först bildar du en svans av c:n och högst lika många a:n i början. Därefter gör du om mitten till en länga av BC där B är en sträng av b:n och C är en sträng av c:n som är minst lika lång som B.
b) tror jag att du klarar själv, det är mest för att visa att du förstår koncepten.