Integrál regulárních výrazů

U derivace jsme odebírali řetězec, teď ho naopak vkládáme

Integrál regulárního výrazu podle řetězce je definován takto:

Tedy před všechny hodnoty předřadím

Pokud RV nejdříve zderivuji a pak zintegruji, vznikne původní výraz:

Pokud RV nejdříve zintegruji a pak zderivuji, nemusí vzniknout původní výraz:

Integrál zahrnující integrační konstantu :