search

morazanm / fsm

A DSL for the Automata Theory Classroom
15 stars 6 forks source link

ndfa->regexp unbound identifier #7

Closed ajay340 closed 4 years ago

ajay340 commented 4 years ago

The documentation outlines the function ndfa->regexp which takes as input an ndfa machine and returns a regexp. However, calling on the function returns an error "ndfa->regexp: unbound identifier in: ndfa->regexp" despite the fsm library being imported.

morazanm commented 4 years ago

That is a typo in the documentation. The correct function is: fsa->regexp . Be careful with this function, because it can quickly make DrRacket run out of memory.

jschappel commented 4 years ago

We should make sure to update the documentation. I am reopening this issue till it is resolved. We should also inform the user that memory can become an issue.

sachinmahashabde commented 4 years ago

Error was fixed in the documentation. Thank you for pointing this out Ajay.