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

![screenshot-proiect](https://i.imgur.com/860BKjs.png)

![screenshot-generare](https://i.imgur.com/HoAyPyp.png)

## 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)

```