Skip to content

Add a FakeMDD generator? #37

@Azzaare

Description

@Azzaare

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

No one assigned

    Labels

    enhancementNew feature or requestgood first issueGood for newcomershelp wantedExtra attention is neededquestionFurther information is requested

    Type

    No type

    Projects

    Status

    Todo

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions