Uses of Interface
net.automatalib.automaton.concept.Output
-
-
Uses of Output in net.automatalib.automaton.concept
Subinterfaces of Output in net.automatalib.automaton.concept Modifier and Type Interface Description interfaceDetOutputAutomaton<S,I,T,D>An automaton which deterministically produces an output for an input word.interfaceDetSuffixOutputAutomaton<S,I,T,D>interfaceOutputAutomaton<S,I,T,D>interfaceSuffixOutput<I,D>Feature for automata that compute a suffix-observable output function, i.e., they compute an output containing a part that can be attributed to a suffix of the input. -
Uses of Output in net.automatalib.automaton.fsa
Subinterfaces of Output in net.automatalib.automaton.fsa Modifier and Type Interface Description interfaceDFA<S,I>Deterministic finite state acceptor.interfaceFiniteStateAcceptor<S,I>FiniteStateAcceptors accept regular languages.interfaceMutableDFA<S,I>interfaceMutableFSA<S,I>interfaceMutableNFA<S,I>interfaceNFA<S,I>Nondeterministic finite state acceptor. -
Uses of Output in net.automatalib.automaton.procedural
Subinterfaces of Output in net.automatalib.automaton.procedural Modifier and Type Interface Description interfaceSBA<S,I>A system of behavioral automata.interfaceSPA<S,I>A system of procedural automata.interfaceSPMM<S,I,T,O>A system of procedural Mealy machines. -
Uses of Output in net.automatalib.automaton.transducer
Subinterfaces of Output in net.automatalib.automaton.transducer Modifier and Type Interface Description interfaceMealyMachine<S,I,T,O>interfaceMooreMachine<S,I,T,O>interfaceMutableMealyMachine<S,I,T,O>interfaceMutableMooreMachine<S,I,T,O>interfaceMutableSubsequentialTransducer<S,I,T,O>Amutableextension of aSubsequentialTransducer.interfaceStateLocalInputMealyMachine<S,I,T,O>interfaceStateOutputAutomaton<S,I,T,O>interfaceSubsequentialTransducer<S,I,T,O>A subsequential transducer (or SST) is anDeterministicOutputTSwhose state and transition properties are output-words.interfaceTransitionOutputAutomaton<S,I,T,O> -
Uses of Output in net.automatalib.automaton.vpa
Subinterfaces of Output in net.automatalib.automaton.vpa Modifier and Type Interface Description interfaceOneSEVPA<L,I>A specialized interface for 1-SEVPAs (1-module single entry visibly push-down automata).interfaceSEVPA<L,I>Interface for k-SEVPAs (k-module single entry visibly push-down automata), a visibly push-down automaton of specific structure and semantics. -
Uses of Output in net.automatalib.modelchecking
Subinterfaces of Output in net.automatalib.modelchecking Modifier and Type Interface Description interfaceLasso<I,D>A lasso is a single infinite word.static interfaceLasso.DFALasso<I>A DFALasso is a lasso forDFAs.static interfaceLasso.MealyLasso<I,O>A MealyLasso is a lasso forMealyMachines. -
Uses of Output in net.automatalib.ts.acceptor
Subinterfaces of Output in net.automatalib.ts.acceptor Modifier and Type Interface Description interfaceDeterministicAcceptorTS<S,I>A deterministic acceptor transition system.
-