Update second_b

Author: SergeyKuz1001

README.md

@@ -34,7 +34,7 @@ This conversion uses the same set of generators as the original, but smaller siz
 ### Second modified conversion (in `second_b` approach)
 This conversion uses different set of generators as opposed to the first conversion
 
-<img src="https://latex.codecogs.com/png.latex?\\&space;G(T)&space;=&space;\{&space;q,&space;h,&space;s_0,&space;\ldots,&space;s_M,&space;q_0,&space;\ldots,&space;q_N,&space;q^R_0,&space;\ldots,&space;q^R_N&space;\}&space;\\&space;R(T)&space;=&space;\forall&space;\alpha&space;\in&space;0..N,&space;\beta&space;\in&space;0..M&space;:&space;\\&space;\begin{array}{r@{~=~}lc@{~if~}c@{~\in&space;T}}&space;q_i&space;s_j&space;&&space;q_l&space;s_k&space;&&space;&&space;q_i&space;s_j&space;s_k&space;q_l&space;\\&space;q_i&space;h&space;&&space;q_l&space;s_k&space;h&space;&&space;&&space;q_i&space;s_0&space;s_k&space;q_l&space;\\&space;q_i&space;s_j&space;&&space;s_j&space;q_l&space;&&space;&&space;q_i&space;s_i&space;R&space;q_l&space;\\&space;q_i&space;h&space;&&space;s_0&space;q_l&space;h&space;&&space;&&space;q_i&space;s_0&space;R&space;q_l&space;\\&space;s_j&space;q^R_i&space;&&space;q^R_l&space;s_j&space;&&space;&&space;q_i&space;s_i&space;L&space;q_l&space;\\&space;h&space;q^R_i&space;&&space;h&space;q^R_l&space;s_0&space;&&space;&&space;q_i&space;s_0&space;L&space;q_l&space;\\&space;q_\alpha&space;s_\beta&space;&&space;s_\beta&space;q^R_\alpha&space;\\&space;q_\alpha&space;h&space;&&space;s_0&space;q^R_\alpha&space;h&space;\\&space;h&space;q^R_\alpha&space;&&space;h&space;q_\alpha&space;s_0&space;\\&space;q_0&space;s_\beta&space;&&space;q_0&space;\\&space;s_\beta&space;q_0&space;h&space;&&space;q_0&space;h&space;\\&space;h&space;q_0&space;h&space;&&space;q&space;\end{array}" />
+<img src="https://latex.codecogs.com/png.latex?\\&space;G(T)&space;=&space;\{&space;q,&space;h,&space;s_0,&space;\ldots,&space;s_M,&space;q_0,&space;\ldots,&space;q_N,&space;q^R_0,&space;\ldots,&space;q^R_N&space;\}&space;\\&space;R(T)&space;=&space;\forall&space;\alpha&space;\in&space;0..N,&space;\beta&space;\in&space;0..M&space;:&space;\\&space;\begin{array}{r@{~=~}lc@{~if~}c@{~\in&space;T}}&space;q_i&space;s_j&space;&&space;q_l&space;s_k&space;&&space;&&space;q_i&space;s_j&space;s_k&space;q_l&space;\\&space;q_i&space;s_j&space;&&space;s_j&space;q_l&space;&&space;&&space;q_i&space;s_i&space;R&space;q_l&space;\\&space;s_j&space;q^R_i&space;&&space;q^R_l&space;s_j&space;&&space;&&space;q_i&space;s_i&space;L&space;q_l&space;\\&space;q_\alpha&space;s_\beta&space;&&space;s_\beta&space;q^R_\alpha&space;\\&space;q_\alpha&space;h&space;&&space;s_0&space;q^R_\alpha&space;h&space;\\&space;h&space;q^R_\alpha&space;&&space;h&space;q_\alpha&space;s_0&space;\\&space;q_0&space;s_\beta&space;&&space;q_0&space;\\&space;s_\beta&space;q_0&space;h&space;&&space;q_0&space;h&space;\\&space;h&space;q_0&space;h&space;&&space;q&space;\end{array}" />
 
 ## Build status
 [![Build Status](https://travis-ci.org/YaccConstructor/LangToGroup.svg?branch=master)](https://travis-ci.org/YaccConstructor/LangToGroup)

src/TM2SP.hs

@@ -142,36 +142,18 @@ semigroupGamma_2 =
                 (strQuadruples.withoutLoops.takeOnly(withoutMove))
               ),
             [
-            "q_i h" === "q_l s_k h"
-              ] & for' (
-                "q_{i} s_0 s_{k} q_{l}" `in'`
-                (strQuadruples.withoutLoops.takeOnly(withoutMove&.fromSymbol(blankSymbol)))
-              ),
-            [
             "q_i s_j" === "s_j q_l"
               ] & for' (
                 "q_{i} s_{j} R q_{l}" `in'`
                 (strQuadruples.takeOnly(withMove toRight))
               ),
             [
-            "q_i h" === "s_0 q_l h"
-              ] & for' (
-                "q_{i} s_0 R q_{l}" `in'`
-                (strQuadruples.takeOnly(withMove(toRight)&.fromSymbol(blankSymbol)))
-              ),
-            [
             "s_j qR_i" === "qR_l s_j"
               ] & for' (
                 "qR_{i} s_{j} L qR_{l}" `in'`
                 (strQuadruples.takeOnly(withMove toLeft))
               ),
             [
-            "h qR_i" === "h qR_l s_0"
-              ] & for' (
-                "qR_{i} s_0 L qR_{l}" `in'`
-                (strQuadruples.takeOnly(withMove(toLeft)&.fromSymbol(blankSymbol)))
-              ),
-            [
             "q_A s_B" === "s_B qR_A"
               ] & for' (
                 "q_{A} qR_{A} s_{B}" `in'`