https://github.com/mehanix/dfa-nfa-acceptor
🖧 Program that loads a DFA/NFA from a file, then checks if words are accepted by the automata.
https://github.com/mehanix/dfa-nfa-acceptor
automata computer-science deterministic-finite-automata dfa formal-languages homework homework-assignments homework-exercises nfa nondeterministic-finite-automata
Last synced: about 2 months ago
JSON representation
🖧 Program that loads a DFA/NFA from a file, then checks if words are accepted by the automata.
- Host: GitHub
- URL: https://github.com/mehanix/dfa-nfa-acceptor
- Owner: mehanix
- Created: 2020-03-14T12:57:49.000Z (about 5 years ago)
- Default Branch: master
- Last Pushed: 2020-03-27T19:21:52.000Z (about 5 years ago)
- Last Synced: 2025-02-10T23:37:05.761Z (4 months ago)
- Topics: automata, computer-science, deterministic-finite-automata, dfa, formal-languages, homework, homework-assignments, homework-exercises, nfa, nondeterministic-finite-automata
- Language: C++
- Homepage:
- Size: 1.53 MB
- Stars: 2
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# LFA_proiect_1
Tema 1 la Limbaje Formale si Automate, Anul 1 UniBuc
## Cerinta temei
1) Sa se scrie un program care incarca in memorie un DFA/NFA, apoi verifica daca automatul accepta cuvintele date de utilizator.2) Sa se genereze cele mai scurte 100 cuvinte acceptate de automat.
## Implementare
Am folosit o structura de date custom pentru a salva graful in memorie. (vector de map(lista de noduri), care mapeaza literele alfabetului la vectori cu directiile unde poti pleca din acel nod) `vector>>`Am mai folosit si o matrice de vizitati, unde tineam evidenta drumului meu curent, pentru a evita sa ma duc de 2 ori cu aceeasi lungime curenta inspre acelasi nod. `vector>, unde nr_linii = nr_noduri, si nr_coloane = word.length()`
Verificarea apartenentei unui cuvant in automat este un DFS, practic.
Generarea celor mai scurte cuvinte se face cu algoritmul BFS si cu un queue in care tin drumurile gasite. La fiecare pas, scot drumul curent din coada, iau ultimul element, si daca nu este element final, verific unde pot sa plec din el, si adaug la sfarsitul cozii noile drumuri create.
Totodata, folosesc matricea de vizite pentru a avea grija sa nu ma blochez in bucle.
## Features
* Incarcare automat custom din fisierul automat_custom.in
* Incarcare automat generat (cel cu 3004 noduri si 2002002 muchii) pentru a demonstra functionalitatea matricii de vizitati
* Testarea cuvintelor in automat
* Generarea cele mai scurte 100 cuvinte acceptate de automat## Structura fisier intrare
```
numar_noduri
numar_muchii
nod_x nod_y caracter (de numar_muchii ori)
nod_start
numar_noduri_finish
nod_finish_x (de numar_noduri_finish ori)
```