Package de.learnlib.algorithm.malerpnueli

This package (and sub-packages) provides the implementation of the L* variation based on the paper On the Learnability of Infinitary Regular Sets by Oded Maler and Amir Pnueli.

Class Summary

Class	Description
MalerPnueliDFA<I>
MalerPnueliDFABuilder<I>
MalerPnueliMealy<I,O>
MalerPnueliMealyBuilder<I,O>
MalerPnueliMoore<I,O>
MalerPnueliMooreBuilder<I,O>