Witam,
Mam problem z narysowaniem grafu dla automatu skończonego deterministycznego, który ma akceptować język:
**L1 (c+ε)(aba)<sup>+</sup>(bb)<sup>*</sup>c<sup>+</sup>**
Może mi ktoś pomóc?
0
0
Coś takiego?
http://i.imgur.com/MDwbL.png
0
Ja jak to robiłem to mi wyszło podobnie zobacz.
0
@Metatron, spójrz jak Shalom rozwiązał (bb)*, skopiuj to do siebie i będzie chyba najoptymalniej.
0
OK dzięki za pomoc :) ale jak ktoś coś własnego wymyśli niech napisze.
0
@Shalom:
Z tego co widzę, to twój automat akceptuje 1+ literek c na początku, a ma akceptować 0 lub 1.
0
@Wibowit A to czemu? Jest tam c+ε czyli po prostu c+. Tam nie ma nigdzie |
0
O ile dobrze pamiętam to notacja c+ε oznacza po prostu c|ε. Zwróc uwagę na to, że plus jest w tym wyrażeniu normalny, a reszta plusów jest indeksach górnych.
No chyba, że autor się walnął.
0
@Shalom Twój łapie na końcu tylko jedną literkę c, poza tym chyba zaakceptuje też inne słowa (brakuje przejścia do błędu ze stanu końcowego dla dowolnego znaku różnego od c).
0
@Afish aj bo zjadłem kręcenie się na C w ostatnim stanie, ale to oczywiste ;)
Poza tym automat nie miał być zupełny więc stany błędne wcale nie są konieczne.