Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages

properties → alib2abstraction Relation

File in alib2algo/src/grammar/propertiesIncludes file in alib2abstraction
IsLanguageEmpty.cppsrc / registration / AlgoRegistration.hpp
IsLanguageGeneratingEpsilon.cppsrc / registration / AlgoRegistration.hpp
NonterminalUnitRuleCycle.cppsrc / registration / AlgoRegistration.hpp
NullableNonterminals.cppsrc / registration / AlgoRegistration.hpp
ProductiveNonterminals.cppsrc / registration / AlgoRegistration.hpp
ReachableSymbols.cppsrc / registration / AlgoRegistration.hpp
RecursiveNonterminal.cppsrc / registration / AlgoRegistration.hpp