Trei simulatoare care verifica daca un cuvant este acceptat de un automat dat.
dfa.py- acceptor DFA (determinist)nfa.py- acceptor NFA (nedeterminist)lnfa.py- acceptor Lambda-NFA (cu tranzitii lambda)
Rulare din TEMA1/: python dfa.py / python nfa.py / python lnfa.py
LNFA-DFA - conversie Lambda-NFA in DFA echivalent prin subset construction, urmat de minimizare prin rafinare de partitie.
LNFA-TO-REGEX - conversie Lambda-NFA in expresie regulata prin metoda eliminarii starilor.
N-WORD-GRAMMAR - generare prin DFS a tuturor cuvintelor de lungime N produse de o gramatica context-free.
Rulare din subdirectorul corespunzator: python main.py
fnc.py - conversie gramatica in Forma Normala Chomsky (eliminare lambda-productii, productii unitare, simboluri inutile, binarizare).
cyk.py - algoritmul CYK pentru verificarea apartenentei unui cuvant la limbajul unei gramatici in FNC.
pda.py - simulator PDA nedeterminist cu DFS pe configuratii, suporta acceptare prin stare finala, stiva goala sau ambele.
Rulare din TEMA3/: python fnc.py / python cyk.py / python pda.py