Ho avuto questa domanda in un test scolastico:
Design a non-deterministic FSM that receives all words over {a,b,c} that:
- Start with cc.
- Contain at least 1 ab or aca.
- Ends with an odd number of (bc).
L'FSM che ho costruito era sbagliato. Tuttavia, quando ho chiesto all'insegnante un FSM che funzioni, lei mi ha dato questo: (ignora il testo).
Da come la vedo io, questo FSM non funziona, perché ad esempio la parola ccabcbc
dalla rotta
q0->q1->q2->q3->q4->q4->q6->q7
Ma lei dice solo che l'FSM funziona e che non capisco come funzioni un FSM non deterministico.
Quindi, sbaglio o è lei? se ho torto, perché la via che ho dato non è valida? E se ho ragione, sarebbe bello se qualcuno potesse inviare un FSM che funzioni, perché stavo lottando con questo anche a casa.
Grazie in anticipo, e mi dispiace per l'uso improprio dei termini, imparo l'argomento in una lingua diversa.