Repository GitHub per il progetto relativo al corso "Algoritmi e Strutture Dati" anno 2019/2020. Contenuto: codice sorgente del progetto, risultati parziali dei compiti (RisultatiJSON.zip), risultati output compiti (RisultatiTXT), risultati di più esecuzioni (Dati Completi.zip) utilizzati per le analisi del capitolo "Esempi" della relazioni. Inoltre, sono presenti sia il pdf della relazione (Relazione_progetto_Papa_Serina) che il pdf della consegna.
Link alla repository pubblica della relazione: https://www.overleaf.com/read/ztqdwsjkhnqm
Il programma permette di effetuare questa serie di operazioni fornendo in ingresso un file .json rappresentante una rete di automi a stati finiti (alternativamente sono previsti input intermedi per i compiti più complessi, così da velocizzare i calcoli):
- Generazione dello spazio comportamentale
- Generazione dello spazio comportamentale relativo ad una particolare osservazione lineare
- Calcolo della diagnosi relativa a una osservazione lineare
- Generazione dello spazio delle chiusure silenziose
- Generazione del diagnosticatore
- Calcolo della diagnosi lineare relativa a una osservazione lineare (basata su diagnosticatore)