dfa-sampler 0.1.1

Library for implementing dfa sampling strategies (pull requests welcome).

dfa-sampler

Library for implementing dfa sampling strategies (pull requests welcome).

Installation

If you just need to use dfa-sampler, you can just run:

$ pip install dfa-sampler

For developers, note that this project uses the poetry python package/dependency management tool. Please familarize yourself with it and then run:

$ poetry install

Usage

The dfa api is centered around the DFA object.

By default, the DFA object models a Deterministic Finite Acceptor, e.g., a recognizer of a Regular Language.

from dfa_sampler import gen_reach_avoid, gen_mutated_reach_avoid

dfas1 = gen_reach_avoid(n_tokens=3)
dfas2 = gen_mutated_reach_avoid(n_tokens=12)