automaton::transform::Compaction Class Reference

#include <Compaction.h>

Static Public Member Functions
template<class T > requires isDFA < T > || isNFA < T >
static Compaction::CompactAutomaton< T >	convert (const T &automaton)
template<class T > requires isCompactDFA < T > || isCompactNFA < T >
static T	convert (const T &automaton)

Detailed Description

Transformation of a finite automaton to a compact finite automaton. The compact automaton allows to use strings in the transition function. The transitions are compacted.

Member Function Documentation

convert() [1/2]

template<class T >
requires isDFA < T > || isNFA < T >

static Compaction::CompactAutomaton< T > automaton::transform::Compaction::convert ( const T &  automaton )

static

Compaction of a finite automaton.

Template Parameters

SymbolType	Type for input symbols.
StateType	Type for states.

Parameters

automaton

automaton to compact

Returns

compact nondeterministic FA equivalent to automaton

convert() [2/2]

template<class T >
requires isCompactDFA < T > || isCompactNFA < T >

T automaton::transform::Compaction::convert ( const T &  automaton )

static

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

---

The documentation for this class was generated from the following file:

• alib2algo/src/automaton/transform/Compaction.h