Package be.ac.umons.jsonlearning

Oracles for learning an automaton from a JSON document.

See: Description

Interface Summary

Interface	Description
IVPDAJSONEquivalenceOracle	The common interface for equivalence oracles for VPDAs.

Class Summary

Class	Description
AbstractJSONConformance<A extends net.automatalib.ts.acceptors.DeterministicAcceptorTS<?,JSONSymbol>>	Base class for equivalence checks based on conformance testing of JSON documents.
IVPDAJSONEquivalenceOracle.CounterexampleWithRelations<L>	The ReachabilityRelation and OnAcceptingPathRelation computed to construct a key graph, and a counterexample.
JSONCounterValueOracle	Counter value oracle for JSON documents.
JSONMembershipOracle	Membership oracle for JSON documents.
Utils	Utility functions for oracles.

Package be.ac.umons.jsonlearning Description

Oracles for learning an automaton from a JSON document.

Both membership and equivalence queries are defined for three types of automata: visibly pushdown automata (VPDA), visibly one-counter automata (VCA), and realtime one-counter automata (ROCA).

Author:

Gaëtan Staquet