Skip navigation links

Package net.automatalib.automata

This package contains the basic interfaces for automata.

See: Description

Package net.automatalib.automata Description

This package contains the basic interfaces for automata.

An automaton (in the AutomataLib context) is a finite-state transition system. Like transition systems, automata are in general nondeterministic, but can be specialized to be deterministic.

The Automaton interface has no inherent semantics. Special types of automata, such as DFAs or Mealy machines can be found in the respective subpackages.

Author:
Malte Isberner
See Also:
net.automatalib.ts
Skip navigation links

Copyright © 2015. All rights reserved.