Endelige språk og konkatenering

Her kan du stille spørsmål vedrørende problemer og oppgaver i matematikk på høyskolenivå. Alle som har kunnskapen er velkommen med et svar. Men, ikke forvent at admin i matematikk.net er spesielt aktive her.

Moderators: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa

Post Reply
wingeer
Descartes
Descartes
Posts: 414
Joined: 24/05-2008 17:22
Location: Trondheim

Har en oppgave jeg sliter litt med. Den er delt opp i a) og b).

"a) Consider the language L of all strings of a's and b's that do not end with b and do not contain the substring bb. Find a finite language S such that [tex]L = S^*[/tex]",
her er * Kleene-stjernen (i.e. alle konkatenasjoner (sammensetninger) av strengene i S).
Denne er i og for seg grei. Hvis vi lar [tex]S = \left{a, ba \right}[/tex] vil vi ha at [tex]L = S^*[/tex].
"b) Show that there is no language S such that [tex]S^*[/tex] is the language of all strings of a's and b's that do not contain the substring bb."
Her faller jeg litt av. Hva med språket i a)? Tilfredsstiller ikke det kravene? Hvorfor ikke?
M.Sc. Matematikk fra NTNU.
espen180
Gauss
Gauss
Posts: 2578
Joined: 03/03-2008 15:07
Location: Trondheim

Språket i a) inneholder ikke strengene som slutter på b. For eksempel må vi ha abaaab i S*.
wingeer
Descartes
Descartes
Posts: 414
Joined: 24/05-2008 17:22
Location: Trondheim

Dette var jo egentlig veldig mye lettere enn jeg først tenkte. Takk!
M.Sc. Matematikk fra NTNU.
Post Reply