RPNI Passive Deterministic Automata Learning

RPNI - Passive learning of DFAs, Moore, and Mealy machines

Syntax:

((list of inputs), label)+

For example:

# Dfa example
[
((a,a,a), True),
((b,a), False),
...]
# Moore and Mealy example
((a,a,a), "output1"),
((b,a), "output2"),

Mealy Machine learning

Syntax is the same, only notable difference is that all sequences in the data set have to be prefix closed, meaning that if sequence

((a,a,a,), 'label') 

is in the data set, then its prefixes also have to be in the data set:

((a,a), 'label2),
((a), 'label'),