Forum by laureateci.it

Nome Utente:	Password:
Salva Password
Password Dimenticata?

Tutti i Forum

INFORMATICA - Primo Anno

Linguaggi di programmazione

dubbio

Nuova Discussione

Nuovo Sondaggio

Rispondi

Versione Stampabile

Aggiungi Segnalibro

Autore

Discussione

oracolo
Nuovo Utente

Inserito il - 29/06/2004 : 01:25:51

Gentilmente, avrei bisogno solo di una conferma riguardo all'esrcizio da me messo in allegato.
Vorrei sapere se x risolverlo è necessario solo utilizzare l'algoritmo 7.2 del libro di semeraro, (costruzione di una grammatica lineare dx equivalente ad un automa accettore a stati finiti) anche se questo non è a stati finiti.
In caso negativo mi servirebbe capire come risolverlo.....
Grazie

Immagine:

68,79 KB

feeb
Cantù Che Conta Col Cayenne

Prov.: Zara

Inserito il - 29/06/2004 : 05:05:19

tranquillo puoi convertire anche un nda in grammatica lineare destra
in sto caso:

S -> aA | bB | b
A -> aA | aB
B -> bA

dove S=q0, A=q1, B=q3 (q2 non viene contemplato perche' e' pozza).

http://www.avaaz.org/it/ - http://www.flickr.com/photos/dimethyltryptamine/

fabbattista
utente SEMPRE giovane

Regione: Puglia
Prov.: Bari
Città: Bari

Inserito il - 29/06/2004 : 05:32:01

Ciao Oracolo,
feeb ti ha risposto. Pero' tu stai attento alla terminologia. L'automa della traccia è a stati finiti.
Non è deterministico, ma gli stati sono sicuramente finiti. Non fate confusioni di questo tipo.

oracolo
Nuovo Utente

Inserito il - 29/06/2004 : 10:55:41

ha ra gione prof, il mio errore è grave , faro + attenzione.