Package owl.automaton.acceptance.degeneralization

Class BuchiDegeneralization

java.lang.Object

owl.automaton.acceptance.degeneralization.BuchiDegeneralization

public final class BuchiDegeneralization
extends Object

This class provides a conversion from generalised Büchi automata into Büchi automata. The conversion preserves determinism.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	BuchiDegeneralization.IndexedState<S>

Method Summary

Modifier and Type	Method	Description
static <S> Automaton<BuchiDegeneralization.IndexedState<S>,BuchiAcceptance>	degeneralize(Automaton<S,? extends GeneralizedBuchiAcceptance> automaton)	Degeneralization procedure.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

degeneralize

public static <S> Automaton<BuchiDegeneralization.IndexedState<S>,BuchiAcceptance> degeneralize(Automaton<S,? extends GeneralizedBuchiAcceptance> automaton)

Degeneralization procedure. This function returns an on-the-fly generated automaton and assumes the the argument automaton is not changed after calling this method.

Type Parameters:

S - the state type

Parameters:

automaton - the automaton

Returns:

an on-the-fly generated Büchi automaton