Anul 3, Semestrul 1, seria CA,
Facultatea de Automatica si Calculatoare,
Universitatea Politehnica Bucuresti.
Acest repository contine codul scris de mine in timpul facultatii ca parte a materiei de Limbaje Formale si Automate.
Pentru a vedea daca graful accepta sirul vid am verificat daca starea initiala este si stare finala. Pentru a obtine starile accesibile am facut un dfs din starea de start, toate starile visited sunt accesibile. Pentru a obtine starile productive am construit un graf transpus (am adaugat muchie de la transitionTo la transitionFrom), si am pornit un dfs din fiecare stare finala, marcand visited starile prin care trec. Toate starile prin care trec sunt productive. Algoritmii folositi pentru starile utile si pentru a afla daca limbajul este vid sau nu sunt foarte simpli, niste if-uri folosind algoritmii de mai sus. Nu am facut bonusul din lipsa de timp, dar ar fi trebuit doar sa fac un dfs si sa verific daca exista cicluri si sa mai pun conditia ca toate starile sa fie utile.
Dezvoltat utilizand:
Distributed under the MIT License. See LICENSE.txt for more information.
Email - [email protected]