Commits

Author Commit Message Labels Comments Date
Fernando G N Rocha
to_minimum implemented, polish needed, tests missing
Fernando G N Rocha
Add tests for to_DFA()
Fernando G N Rocha
Implemented to_DFA, tests missing
Fernando G N Rocha
Implemented to_DFA, missing final_statas and testing
Fernando G N Rocha
Added __str__
Fernando G N Rocha
Add verification for NFA
Fernando G N Rocha
Added states and initial state to automaton attributes, getters missing
Fernando G N Rocha
Implemented to_graphviz method, add drawing for each test for visualizing
Fernando G N Rocha
Fixed replace dictionary bug in to_FNA and add tests
Fernando G N Rocha
better names
Fernando G N Rocha
Implemented to_NFA, tests missing
Fernando G N Rocha
Implemented NFA_final_states and add some tests
Fernando G N Rocha
Implemented e_close_dict and add tests
Fernando G N Rocha
Finish e_close method and add some tests
Fernando G N Rocha
Split automata_minimize into automata and FNAE
Fernando G N Rocha
Started refactoration
Fernando G N Rocha
Correct some bugs, maybe added others
Fernando G N Rocha
Add small helper functions clean and sea_dict
Fernando G N Rocha
Added tests for construct_afnd_nodes function
Fernando G N Rocha
construct_afnd finished, afndE -> afnd finished
Fernando G N Rocha
Begin the build of construct_afnd_edges function
Fernando G N Rocha
construct_afnd_nodes implemented
Fernando G N Rocha
last_state_afnd implemented
Fernando G N Rocha
Some documentation
Fernando G N Rocha
empty_sea is generic now
Fernando G N Rocha
Some todo
Fernando G N Rocha
Initial commit, empty_sea function and simple tests implemented