Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <ToGrammarRightRG.h>
Static Public Member Functions | |
template<class T > requires isDFA < T > || isNFA < T > | |
static grammar::RightRG< typename T::SymbolType, typename T::StateType > | convert (const T &automaton) |
Converts a finite automaton to a right regular grammar (Melichar: Jazyky a překlady 2.104).
|
static |
Performs the conversion of the finite automaton to right regular grammar.
T | the converted automaton |
automaton | a finite automaton to convert |
automaton
.