Day 1 Week 7 on JFLAP

Today I added a NFA to DFA tool. Before we had this file in exercise format, but now I created a new file with only the converting functions so that FAEditor can use it to convert NFA to DFA. Then I worked on the export of graphs between these files. Now you can start from FAEditor, create an FA, use the FAtoRE button to convert it to regular expression, and export to REtoFA.html, from where you can convert back to NFA and export to FAEditor, and further convert it to DFA and export back toFAEditor, so it’s an ecosystem now, just like JFLAP. I will work on the minimizing proof tomorrow.

Comments are closed.