diff --git a/alib2algo/src/regexp/transform/RegExpAlternate.cpp b/alib2algo/src/regexp/transform/RegExpAlternate.cpp
index 6a0fa1f65bbc80b93c4931d3f4250bc4124869ce..a70b536d7052736377f135785f19912659114181 100644
--- a/alib2algo/src/regexp/transform/RegExpAlternate.cpp
+++ b/alib2algo/src/regexp/transform/RegExpAlternate.cpp
@@ -10,7 +10,18 @@
 
 namespace regexp {
 
-auto RegExpAlternateFormalRegExp = registration::AbstractRegister < RegExpAlternate, regexp::FormalRegExp < >, const regexp::FormalRegExp < > &, const regexp::FormalRegExp < > & > ( RegExpAlternate::alternate );
-auto RegExpAlternateUnboundedRegExp = registration::AbstractRegister < RegExpAlternate, regexp::UnboundedRegExp < >, const regexp::UnboundedRegExp < > &, const regexp::UnboundedRegExp < > & > ( RegExpAlternate::alternate );
+auto RegExpAlternateFormalRegExp = registration::AbstractRegister < RegExpAlternate, regexp::FormalRegExp < >, const regexp::FormalRegExp < > &, const regexp::FormalRegExp < > & > ( RegExpAlternate::alternate, "first", "second" ).setDocumentation (
+"Implements alternation of two regular expressions.\n\
+\n\
+@param first the first regexp to alternate\n\
+@param second the second regexp to alternate\n\
+@return regexp describing first + second" );
+
+auto RegExpAlternateUnboundedRegExp = registration::AbstractRegister < RegExpAlternate, regexp::UnboundedRegExp < >, const regexp::UnboundedRegExp < > &, const regexp::UnboundedRegExp < > & > ( RegExpAlternate::alternate, "first", "second" ).setDocumentation (
+"Implements alternation of two regular expressions.\n\
+\n\
+@param first the first regexp to alternate\n\
+@param second the second regexp to alternate\n\
+@return regexp describing first + second" );
 
 } /* namespace regexp */
diff --git a/alib2algo/src/regexp/transform/RegExpAlternate.h b/alib2algo/src/regexp/transform/RegExpAlternate.h
index 9e8e2c7b141d9cdc5c2a8fc2b2ddb0173d32f34b..fe163ee7b5fea123a28bff41b79738f95400b9c8 100644
--- a/alib2algo/src/regexp/transform/RegExpAlternate.h
+++ b/alib2algo/src/regexp/transform/RegExpAlternate.h
@@ -17,17 +17,39 @@
 namespace regexp {
 
 /**
- * Alternates two regexpses
+ * Implements alternation of two regular expressions.
  *
  */
 class RegExpAlternate {
 public:
+	/**
+	 * Implements alternation of two regular expressions.
+	 *
+	 * \tparam SymbolType the type of symbols in the regular expression
+	 *
+	 * \param first the first regexp to alternate
+	 * \param second the second regexp to alternate
+	 *
+	 * \return regexp describing @p first + @p second
+	 */
 	template < class SymbolType >
 	static regexp::FormalRegExp < SymbolType > alternate(const regexp::FormalRegExp < SymbolType > & first, const regexp::FormalRegExp < SymbolType > & second);
+
+	/**
+	 * \override
+	 */
 	template < class SymbolType >
 	static regexp::FormalRegExpStructure < SymbolType > alternate(const regexp::FormalRegExpStructure < SymbolType > & first, const regexp::FormalRegExpStructure < SymbolType > & second);
+
+	/**
+	 * \override
+	 */
 	template < class SymbolType >
 	static regexp::UnboundedRegExp < SymbolType > alternate(const regexp::UnboundedRegExp < SymbolType > & first, const regexp::UnboundedRegExp < SymbolType > & second);
+
+	/**
+	 * \override
+	 */
 	template < class SymbolType >
 	static regexp::UnboundedRegExpStructure < SymbolType > alternate(const regexp::UnboundedRegExpStructure < SymbolType > & first, const regexp::UnboundedRegExpStructure < SymbolType > & second);
 };
diff --git a/alib2algo/src/regexp/transform/RegExpConcatenate.cpp b/alib2algo/src/regexp/transform/RegExpConcatenate.cpp
index d0ef54d364ae38e77210c11cc7f4c1b81d52a548..31c1e78f1e5d145955b468ce8bd1cf15ba622c63 100644
--- a/alib2algo/src/regexp/transform/RegExpConcatenate.cpp
+++ b/alib2algo/src/regexp/transform/RegExpConcatenate.cpp
@@ -10,7 +10,18 @@
 
 namespace regexp {
 
-auto RegExpConcatenateFormalRegExp = registration::AbstractRegister < RegExpConcatenate, regexp::FormalRegExp < >, const regexp::FormalRegExp < > &, const regexp::FormalRegExp < > & > ( RegExpConcatenate::concatenate );
-auto RegExpConcatenateUnboundedRegExp = registration::AbstractRegister < RegExpConcatenate, regexp::UnboundedRegExp < >, const regexp::UnboundedRegExp < > &, const regexp::UnboundedRegExp < > & > ( RegExpConcatenate::concatenate );
+auto RegExpConcatenateFormalRegExp = registration::AbstractRegister < RegExpConcatenate, regexp::FormalRegExp < >, const regexp::FormalRegExp < > &, const regexp::FormalRegExp < > & > ( RegExpConcatenate::concatenate, "first", "second" ).setDocumentation (
+"Implements concatenation of two regular expressions.\n\
+\n\
+@param first the first regexp to concatenate\n\
+@param second the second regexp to concatenate\n\
+@return regexp describing first . second" );
+
+auto RegExpConcatenateUnboundedRegExp = registration::AbstractRegister < RegExpConcatenate, regexp::UnboundedRegExp < >, const regexp::UnboundedRegExp < > &, const regexp::UnboundedRegExp < > & > ( RegExpConcatenate::concatenate, "first", "second" ).setDocumentation (
+"Implements concatenation of two regular expressions.\n\
+\n\
+@param first the first regexp to concatenate\n\
+@param second the second regexp to concatenate\n\
+@return regexp describing first . second" );
 
 } /* namespace regexp */
diff --git a/alib2algo/src/regexp/transform/RegExpConcatenate.h b/alib2algo/src/regexp/transform/RegExpConcatenate.h
index 9653cadc5254d5eaf4b98ba1370d9a51d4f6b78e..35e074568b8214c31fd51137cbbac95ca06acf7e 100644
--- a/alib2algo/src/regexp/transform/RegExpConcatenate.h
+++ b/alib2algo/src/regexp/transform/RegExpConcatenate.h
@@ -17,17 +17,39 @@
 namespace regexp {
 
 /**
- * Concatenates two regexpses
+ * Implements concatenation of two regular expressions.
  *
  */
 class RegExpConcatenate {
 public:
+	/**
+	 * Implements concatenation of two regular expressions.
+	 *
+	 * \tparam SymbolType the type of symbols in the regular expression
+	 *
+	 * \param first the first regexp to concatenate
+	 * \param second the second regexp to concatenate
+	 *
+	 * \return regexp describing @p first . @p second
+	 */
 	template < class SymbolType >
 	static regexp::FormalRegExp < SymbolType > concatenate(const regexp::FormalRegExp < SymbolType > & first, const regexp::FormalRegExp < SymbolType > & second);
+
+	/**
+	 * \override
+	 */
 	template < class SymbolType >
 	static regexp::FormalRegExpStructure < SymbolType > concatenate(const regexp::FormalRegExpStructure < SymbolType > & first, const regexp::FormalRegExpStructure < SymbolType > & second);
+
+	/**
+	 * \override
+	 */
 	template < class SymbolType >
 	static regexp::UnboundedRegExp < SymbolType > concatenate(const regexp::UnboundedRegExp < SymbolType > & first, const regexp::UnboundedRegExp < SymbolType > & second);
+
+	/**
+	 * \override
+	 */
 	template < class SymbolType >
 	static regexp::UnboundedRegExpStructure < SymbolType > concatenate(const regexp::UnboundedRegExpStructure < SymbolType > & first, const regexp::UnboundedRegExpStructure < SymbolType > & second);
 };
diff --git a/alib2algo/src/regexp/transform/RegExpDerivation.cpp b/alib2algo/src/regexp/transform/RegExpDerivation.cpp
index 05f79296088c610b21533e6adac62d08db467e88..306d782698e2af9644d67086fcd4448f699b2b02 100644
--- a/alib2algo/src/regexp/transform/RegExpDerivation.cpp
+++ b/alib2algo/src/regexp/transform/RegExpDerivation.cpp
@@ -10,10 +10,32 @@
 
 namespace regexp {
 
-auto RegExpDerivationFormalRegExpString = registration::AbstractRegister < RegExpDerivation, regexp::FormalRegExp < >, const regexp::FormalRegExp < > &, const string::LinearString < > & > ( RegExpDerivation::derivation );
-auto RegExpDerivationUnboundedRegExpString = registration::AbstractRegister < RegExpDerivation, regexp::UnboundedRegExp < >, const regexp::UnboundedRegExp < > &, const string::LinearString < > & > ( RegExpDerivation::derivation );
+auto RegExpDerivationFormalRegExpString = registration::AbstractRegister < RegExpDerivation, regexp::FormalRegExp < >, const regexp::FormalRegExp < > &, const string::LinearString < > & > ( RegExpDerivation::derivation, "regexp", "string" ).setDocumentation (
+"Implements derivation of regular expression by a symbol sequence.\n\
+\n\
+@param regexp the regexp to derivate\n\
+@param string the sequence of symbols to derivate by\n\
+@return resulting regexp");
 
-auto RegExpDerivationFormalRegExpSymbol = registration::AbstractRegister < RegExpDerivation, regexp::FormalRegExp < >, const regexp::FormalRegExp < > &, const DefaultSymbolType & > ( RegExpDerivation::derivation );
-auto RegExpDerivationUnboundedRegExpSymbol = registration::AbstractRegister < RegExpDerivation, regexp::UnboundedRegExp < >, const regexp::UnboundedRegExp < > &, const DefaultSymbolType & > ( RegExpDerivation::derivation );
+auto RegExpDerivationUnboundedRegExpString = registration::AbstractRegister < RegExpDerivation, regexp::UnboundedRegExp < >, const regexp::UnboundedRegExp < > &, const string::LinearString < > & > ( RegExpDerivation::derivation, "regexp", "string" ).setDocumentation (
+"Implements derivation of regular expression by a symbol sequence.\n\
+\n\
+@param regexp the regexp to derivate\n\
+@param string the sequence of symbols to derivate by\n\
+@return resulting regexp");
+
+auto RegExpDerivationFormalRegExpSymbol = registration::AbstractRegister < RegExpDerivation, regexp::FormalRegExp < >, const regexp::FormalRegExp < > &, const DefaultSymbolType & > ( RegExpDerivation::derivation, "regexp", "symbol" ).setDocumentation (
+"Implements derivation of regular expression by a symbol sequence.\n\
+\n\
+@param regexp the regexp to derivate\n\
+@param symbol the symbol to derivate by\n\
+@return resulting regexp");
+
+auto RegExpDerivationUnboundedRegExpSymbol = registration::AbstractRegister < RegExpDerivation, regexp::UnboundedRegExp < >, const regexp::UnboundedRegExp < > &, const DefaultSymbolType & > ( RegExpDerivation::derivation, "regexp", "symbol" ).setDocumentation (
+"Implements derivation of regular expression by a symbol sequence.\n\
+\n\
+@param regexp the regexp to derivate\n\
+@param symbol the symbol to derivate by\n\
+@return resulting regexp");
 
 } /* namespace regexp */
diff --git a/alib2algo/src/regexp/transform/RegExpDerivation.h b/alib2algo/src/regexp/transform/RegExpDerivation.h
index 8ec6750005be43230300a513a49556ac2e32d1da..64e7b00a055397a09946cab6ffb8c0784930730d 100644
--- a/alib2algo/src/regexp/transform/RegExpDerivation.h
+++ b/alib2algo/src/regexp/transform/RegExpDerivation.h
@@ -31,13 +31,41 @@ namespace regexp {
  */
 class RegExpDerivation {
 public:
+	/**
+	 * Implements derivation of regular expression by a symbol sequence.
+	 *
+	 * \tparam SymbolType the type of symbols in the regular expression
+	 *
+	 * \param regexp the regexp to derivate
+	 * \param string the sequence of symbols to derivate by
+	 *
+	 * \return resulting regexp
+	 */
 	template < class SymbolType >
 	static regexp::FormalRegExp < SymbolType > derivation(const regexp::FormalRegExp < SymbolType > & regexp, const string::LinearString < SymbolType > & string);
+
+	/**
+	 * \override
+	 */
 	template < class SymbolType >
 	static regexp::UnboundedRegExp < SymbolType > derivation(const regexp::UnboundedRegExp < SymbolType > & regexp, const string::LinearString < SymbolType > & string);
 
+	/**
+	 * Implements derivation of regular expression by a symbol.
+	 *
+	 * \tparam SymbolType the type of symbols in the regular expression
+	 *
+	 * \param regexp the regexp to derivate
+	 * \param symbol the symbol to derivate by
+	 *
+	 * \return resulting regexp
+	 */
 	template < class SymbolType >
 	static regexp::FormalRegExp < SymbolType > derivation(const regexp::FormalRegExp < SymbolType > & regexp, const SymbolType & symbol);
+
+	/**
+	 * \override
+	 */
 	template < class SymbolType >
 	static regexp::UnboundedRegExp < SymbolType > derivation(const regexp::UnboundedRegExp < SymbolType > & regexp, const SymbolType & symbol);
 
diff --git a/alib2algo/src/regexp/transform/RegExpIntegral.cpp b/alib2algo/src/regexp/transform/RegExpIntegral.cpp
index be21116e8e7290cf92a851d435739aa0ac5242aa..16f93c062a8c8ca0a2becc0d4bb2592c9bf0a9f7 100644
--- a/alib2algo/src/regexp/transform/RegExpIntegral.cpp
+++ b/alib2algo/src/regexp/transform/RegExpIntegral.cpp
@@ -10,10 +10,32 @@
 
 namespace regexp {
 
-auto RegExpIntegralFormalRegExpString = registration::AbstractRegister < RegExpIntegral, regexp::FormalRegExp < >, const regexp::FormalRegExp < > &, const string::LinearString < > & > ( RegExpIntegral::integral );
-auto RegExpIntegralUnboundedRegExpString = registration::AbstractRegister < RegExpIntegral, regexp::UnboundedRegExp < >, const regexp::UnboundedRegExp < > &, const string::LinearString < > & > ( RegExpIntegral::integral );
+auto RegExpIntegralFormalRegExpString = registration::AbstractRegister < RegExpIntegral, regexp::FormalRegExp < >, const regexp::FormalRegExp < > &, const string::LinearString < > & > ( RegExpIntegral::integral, "regexp", "string" ).setDocumentation (
+"Implements integration of regular expression by a symbol. Result does not include the integration constant.\n\
+\n\
+@param regexp the regexp to derivate\n\
+@param string the sequence of symbols to integrate by\n\
+@return resulting regexp" );
 
-auto RegExpIntegralFormalRegExpSymbol = registration::AbstractRegister < RegExpIntegral, regexp::FormalRegExp < >, const regexp::FormalRegExp < > &, const DefaultSymbolType & > ( RegExpIntegral::integral );
-auto RegExpIntegralUnboundedRegExpSymbol = registration::AbstractRegister < RegExpIntegral, regexp::UnboundedRegExp < >, const regexp::UnboundedRegExp < > &, const DefaultSymbolType & > ( RegExpIntegral::integral );
+auto RegExpIntegralUnboundedRegExpString = registration::AbstractRegister < RegExpIntegral, regexp::UnboundedRegExp < >, const regexp::UnboundedRegExp < > &, const string::LinearString < > & > ( RegExpIntegral::integral, "regexp", "string" ).setDocumentation (
+"Implements integration of regular expression by a symbol. Result does not include the integration constant.\n\
+\n\
+@param regexp the regexp to derivate\n\
+@param string the sequence of symbols to integrate by\n\
+@return resulting regexp" );
+
+auto RegExpIntegralFormalRegExpSymbol = registration::AbstractRegister < RegExpIntegral, regexp::FormalRegExp < >, const regexp::FormalRegExp < > &, const DefaultSymbolType & > ( RegExpIntegral::integral, "regexp", "symbol" ).setDocumentation (
+"Implements integration of regular expression by a symbol. Result does not include the integration constant.\n\
+\n\
+@param regexp the regexp to derivate\n\
+@param symbol the symbol to integrate by\n\
+@return resulting regexp" );
+
+auto RegExpIntegralUnboundedRegExpSymbol = registration::AbstractRegister < RegExpIntegral, regexp::UnboundedRegExp < >, const regexp::UnboundedRegExp < > &, const DefaultSymbolType & > ( RegExpIntegral::integral, "regexp", "symbol" ).setDocumentation (
+"Implements integration of regular expression by a symbol. Result does not include the integration constant.\n\
+\n\
+@param regexp the regexp to derivate\n\
+@param symbol the symbol to integrate by\n\
+@return resulting regexp" );
 
 } /* namespace regexp */
diff --git a/alib2algo/src/regexp/transform/RegExpIntegral.h b/alib2algo/src/regexp/transform/RegExpIntegral.h
index b84676215b9a47aae9aa6776218dd9f2c979fc82..a755c82c27925d155b9c5283883eb81a0cc33f55 100644
--- a/alib2algo/src/regexp/transform/RegExpIntegral.h
+++ b/alib2algo/src/regexp/transform/RegExpIntegral.h
@@ -21,18 +21,46 @@
 namespace regexp {
 
 /**
- * Calculates integral of regular expression
+ * Calculates integral of regular expression. Result does not include the integration constant.
  * Source: Melichar definition 2.93 in chapter 2.4.4
  */
 class RegExpIntegral {
 public:
+	/**
+	 * Implements integration of regular expression by a symbol sequence. Result does not include the integration constant.
+	 *
+	 * \tparam SymbolType the type of symbols in the regular expression
+	 *
+	 * \param regexp the regexp to derivate
+	 * \param string the sequence of symbols to integrate by
+	 *
+	 * \return resulting regexp
+	 */
 	template < class SymbolType >
 	static regexp::FormalRegExp < SymbolType > integral(const regexp::FormalRegExp < SymbolType > & regexp, const string::LinearString < SymbolType >& string);
+
+	/**
+	 * \override
+	 */
 	template < class SymbolType >
 	static regexp::UnboundedRegExp < SymbolType > integral(const regexp::UnboundedRegExp < SymbolType > & regexp, const string::LinearString < SymbolType >& string);
 
+	/**
+	 * Implements integration of regular expression by a symbol. Result does not include the integration constant.
+	 *
+	 * \tparam SymbolType the type of symbols in the regular expression
+	 *
+	 * \param regexp the regexp to derivate
+	 * \param symbol the symbol to integrate by
+	 *
+	 * \return resulting regexp
+	 */
 	template < class SymbolType >
 	static regexp::FormalRegExp < SymbolType > integral(const regexp::FormalRegExp < SymbolType > & regexp, const SymbolType & symbol);
+
+	/**
+	 * \override
+	 */
 	template < class SymbolType >
 	static regexp::UnboundedRegExp < SymbolType > integral(const regexp::UnboundedRegExp < SymbolType > & regexp, const SymbolType & symbol);
 
diff --git a/alib2algo/src/regexp/transform/RegExpIterate.h b/alib2algo/src/regexp/transform/RegExpIterate.h
index 67bf2512fd28de5fc896f43b7b88197f26b2e45b..9947ffc923fd4b00255953ef06d08f3f2e8c3621 100644
--- a/alib2algo/src/regexp/transform/RegExpIterate.h
+++ b/alib2algo/src/regexp/transform/RegExpIterate.h
@@ -17,11 +17,20 @@
 namespace regexp {
 
 /**
- * Iterates two regexpses
+ * Implements iteration of regular expression.
  *
  */
 class RegExpIterate {
 public:
+	/**
+	 * Implements iteration of regular expression.
+	 *
+	 * \tparam SymbolType the type of symbols in the regular expression
+	 *
+	 * \param regexp the regexp to iterate
+	 *
+	 * \return regexp describing @p regexp *
+	 */
 	template < class SymbolType >
 	static regexp::FormalRegExp < SymbolType > iterate(const regexp::FormalRegExp < SymbolType > & regexp);
 	template < class SymbolType >