Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
CornerSubstitution.h
Go to the documentation of this file.
1
6#pragma once
7
9
10namespace grammar::parsing {
11
13public:
14 static void cornerSubstitution ( grammar::CFG < > & grammar, const DefaultSymbolType & terminal, const DefaultSymbolType & nonterminal );
15
16};
17
18} /* namespace grammar::parsing */
19
Context free grammar in Chomsky hierarchy or type 2 in Chomsky hierarchy. Generates context free lang...
Definition: CFG.h:67
Definition: CornerSubstitution.h:12
static void cornerSubstitution(grammar::CFG< > &grammar, const DefaultSymbolType &terminal, const DefaultSymbolType &nonterminal)
Definition: CornerSubstitution.cpp:14
Definition: Object.h:16
Definition: AbsorbTerminalSymbol.cpp:11
Definition: ToAutomaton.h:24