|
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.