-
Notifications
You must be signed in to change notification settings - Fork 0
Open
Labels
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededquestionFurther information is requestedFurther information is requested
Description
In a similar fashion that we use in a simple fake automaton generator for words recognized by a regular automaton, we need a method to generate words that are recognized also by multivalued decision diagrams.
Note that words recognized by MDDs is a subset of regular languages. However, for a given entry size (which is usually the case for a given constraint), any automaton can be transformed into an mdd. Is FakeAutomaton generator enough then?
EDIT: Making a convertor from and to Automaton might help. However, the idea is to generate relevant MMD
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededquestionFurther information is requestedFurther information is requested
Type
Projects
Status
Todo