reguljärt uttryck för dfa
Hej, jag har fastnat på en fråga som lyder: hitta en reguljärt uttryck för den deterministiska tillståndsmaskinen som följs nedan:
jag tänkte inte lösa den här mha kleens algoritm utan med eliminationsmetoden. Men hur ska man tänka när det är fler tillstånd? tacksam för hjälp!
Jag har fastnat när det kommer till det sista delen där man ska ta bort tillstånden, det är då jag får fel.
Jag kan inte de där metoderna längre, men kan b*a+(b+a+)* stämma? Jag är inte säker.
Laguna skrev:Jag kan inte de där metoderna längre, men kan b*a+(b+a+)* stämma? Jag är inte säker.
vad betyder + i det här fallet?
Jag tänkte b*aa*bUb, kan detta stämma? den måste ju sluta på 2 och 3
Al97i skrev:Laguna skrev:Jag kan inte de där metoderna längre, men kan b*a+(b+a+)* stämma? Jag är inte säker.
vad betyder + i det här fallet?
En praktisk konvention för att något förekommer minst en gång. a+ är allrså samma som aa*.
jaha, så det är inte samma sak som unionen? jag vet faktiskt inte vilken som är korrekt. Jag kan bild på hur jag tänkte.
så om jag förstår det rätt blir din parentes (bb*aa*)* eller?
Al97i skrev:så om jag förstår det rätt blir din parentes (bb*aa*)* eller?
Ja.
jag har kommit så här långt, men jag vet inte exakt hur jag ska gå tillväga när jag ska slutligen exkludera tillstånd 3. Det blir fel. q1 är en ny starttillstånd och qf är den accepterande tillstånden
kan någon hjälpa mig?
ingen som kan hjälpa?