Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
Data Structures | Namespaces | Functions
ToGrammarRightRG.h File Reference
#include <grammar/Regular/RightRG.h>
#include <automaton/FSM/NFA.h>
#include <automaton/FSM/DFA.h>
#include <common/createUnique.hpp>
Include dependency graph for ToGrammarRightRG.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

class  automaton::convert::ToGrammarRightRG
 

Namespaces

namespace  automaton
 
namespace  automaton::convert
 

Functions

grammar::RightRG< SymbolType, StateType > automaton::convert::grammar (automaton.getInitialState())
 
grammar automaton::convert::setTerminalAlphabet (automaton.getInputAlphabet())
 
grammar automaton::convert::setNonterminalAlphabet (automaton.getStates())
 
 automaton::convert::for (const auto &transition :automaton.getTransitions())
 
 automaton::convert::if (automaton.getFinalStates().contains(automaton.getInitialState())) grammar.setGeneratesEpsilon(true)