specless.inference.edsm
Inference Algorithm
Inference algorithms then use such demonstrations to come up with a specification.
Examples
>>> import specless as sl
>>> filepath = 'examples/demo/pdfa.yaml'
>>> dataset = sl.PathToFileDataset(filepath)
>>> infernce = sl.AutomataInferenceAlgorithm()
# TODO: >>> infernce.infer(dataset)
Classes
The inference algorithm for inferring an automaton from a list of Traces, where trace is defined as a sequence of symbols, i.e. a set of strings. |