Module: Lernen::Equiv

Defined in:

lib/lernen/equiv.rb,
lib/lernen/equiv/oracle.rb,
lib/lernen/equiv/combined_oracle.rb,
lib/lernen/equiv/test_words_oracle.rb,
lib/lernen/equiv/random_walk_oracle.rb,
lib/lernen/equiv/random_word_oracle.rb,
lib/lernen/equiv/spa_simulator_oracle.rb,
lib/lernen/equiv/vpa_simulator_oracle.rb,
lib/lernen/equiv/exhaustive_search_oracle.rb,
lib/lernen/equiv/moore_like_simulator_oracle.rb,
lib/lernen/equiv/random_well_matched_word_oracle.rb,
lib/lernen/equiv/transition_system_simulator_oracle.rb

Overview

This is a namespace for equivalence query oracles.

A equivalence query check the given hypothesis automaton is equivalence to a SUL. If that is not, it returns a counterexample, which leads different output values between the hypothesis and the SUL.

Defined Under Namespace

Classes: CombinedOracle, ExhaustiveSearchOracle, MooreLikeSimulatorOracle, Oracle, RandomWalkOracle, RandomWellMatchedWordOracle, RandomWordOracle, SPASimulatorOracle, TestWordsOracle, TransitionSystemSimulatorOracle, VPASimulatorOracle