1. Simplificação da gramática livre do contexto
A gramática livre do contexto já está simplificada.
G = ({S, A, B, C}, {a, b}, P, S)
P = {< S > -> < C > < A >
| < A > < C >
| a
< A > -> < B > < A >
| < A > < B >
| b
< B > -> < A > < A >
| a
| b
< C > -> < A > < C >
| < C > < C >
| a }
2. Renomeação das variáveis em uma ordem crescente qualquer
G = ({A, B, C, D}, {a, b}, P, A)
P = {< A > -> < D > < B >
| < B > < D >
| a
< B > -> < C > < B >
| < B > < C >
| b
< C > -> < B > < B >
| a
| b
< D > -> < B > < D >
| < D > < D >
| a }
4. Exclusão das recursões da forma < Ar > -> < Ar > α
G = ({A, B, B₁, C, D, D₁}, {a, b}, P, A)
P = {< A > -> < D > < B >
| < B > < D >
| a
< B > -> < C > < B > < B₁ >
| b < B₁ >
| < C > < B >
| b
< B₁ > -> < C > < B₁ >
| < C >
< C > -> < B > < B >
| a
| b
< D > -> < B > < D > < D₁ >
| a < D₁ >
| < B > < D >
| a
< D₁ > -> < D > < D₁ >
| < D > }
3. Transformação de produções para a forma < Ar > -> < As > α, onde r ≤ s
G = ({A, B, B₁, C, D, D₁}, {a, b}, P, A)
P = {< A > -> < D > < B >
| < B > < D >
| a
< B > -> < C > < B > < B₁ >
| b < B₁ >
| < C > < B >
| b
< B₁ > -> < C > < B₁ >
| < C >
< C > -> < C > < B > < B₁ > < B >
| b < B₁ > < B >
| < C > < B > < B >
| b < B >
| a
| b
< D > -> < C > < B > < B₁ > < D > < D₁ >
| b < B₁ > < D > < D₁ >
| < C > < B > < D > < D₁ >
| b < D > < D₁ >
| a < D₁ >
| < C > < B > < B₁ > < D >
| b < B₁ > < D >
| < C > < B > < D >
| b < D >
| a
< D₁ > -> < D > < D₁ >
| < D > }
4. Exclusão das recursões da forma < Ar > -> < Ar > α
G = ({A, B, B₁, C, C₁, D, D₁}, {a, b}, P, A)
P = {< A > -> < D > < B >
| < B > < D >
| a
< B > -> < C > < B > < B₁ >
| b < B₁ >
| < C > < B >
| b
< B₁ > -> < C > < B₁ >
| < C >
< C > -> b < B₁ > < B > < C₁ >
| b < B > < C₁ >
| a < C₁ >
| b < C₁ >
| b < B₁ > < B >
| b < B >
| a
| b
< C₁ > -> < B > < B₁ > < B > < C₁ >
| < B > < B > < C₁ >
| < B > < B₁ > < B >
| < B > < B >
< D > -> < C > < B > < B₁ > < D > < D₁ >
| b < B₁ > < D > < D₁ >
| < C > < B > < D > < D₁ >
| b < D > < D₁ >
| a < D₁ >
| < C > < B > < B₁ > < D >
| b < B₁ > < D >
| < C > < B > < D >
| b < D >
| a
< D₁ > -> < D > < D₁ >
| < D > }
3. Transformação de produções para a forma < Ar > -> < As > α, onde r ≤ s
G = ({A, B, B₁, C, C₁, D, D₁}, {a, b}, P, A)
P = {< A > -> < D > < B >
| < B > < D >
| a
< B > -> < C > < B > < B₁ >
| b < B₁ >
| < C > < B >
| b
< B₁ > -> < C > < B₁ >
| < C >
< C > -> b < B₁ > < B > < C₁ >
| b < B > < C₁ >
| a < C₁ >
| b < C₁ >
| b < B₁ > < B >
| b < B >
| a
| b
< C₁ > -> < B > < B₁ > < B > < C₁ >
| < B > < B > < C₁ >
| < B > < B₁ > < B >
| < B > < B >
< D > -> b < B₁ > < B > < C₁ > < B > < B₁ > < D > < D₁ >
| b < B > < C₁ > < B > < B₁ > < D > < D₁ >
| a < C₁ > < B > < B₁ > < D > < D₁ >
| b < C₁ > < B > < B₁ > < D > < D₁ >
| b < B₁ > < B > < B > < B₁ > < D > < D₁ >
| b < B > < B > < B₁ > < D > < D₁ >
| a < B > < B₁ > < D > < D₁ >
| b < B > < B₁ > < D > < D₁ >
| b < B₁ > < D > < D₁ >
| b < B₁ > < B > < C₁ > < B > < D > < D₁ >
| b < B > < C₁ > < B > < D > < D₁ >
| a < C₁ > < B > < D > < D₁ >
| b < C₁ > < B > < D > < D₁ >
| b < B₁ > < B > < B > < D > < D₁ >
| b < B > < B > < D > < D₁ >
| a < B > < D > < D₁ >
| b < B > < D > < D₁ >
| b < D > < D₁ >
| a < D₁ >
| b < B₁ > < B > < C₁ > < B > < B₁ > < D >
| b < B > < C₁ > < B > < B₁ > < D >
| a < C₁ > < B > < B₁ > < D >
| b < C₁ > < B > < B₁ > < D >
| b < B₁ > < B > < B > < B₁ > < D >
| b < B > < B > < B₁ > < D >
| a < B > < B₁ > < D >
| b < B > < B₁ > < D >
| b < B₁ > < D >
| b < B₁ > < B > < C₁ > < B > < D >
| b < B > < C₁ > < B > < D >
| a < C₁ > < B > < D >
| b < C₁ > < B > < D >
| b < B₁ > < B > < B > < D >
| b < B > < B > < D >
| a < B > < D >
| b < B > < D >
| b < D >
| a
< D₁ > -> < D > < D₁ >
| < D > }
5. Um terminal no início do lado direito de cada produção
G = ({A, B, B₁, C, C₁, D, D₁}, {a, b}, P, A)
P = {< A > -> b < B₁ > < B > < C₁ > < B > < B₁ > < D > < D₁ > < B >
| b < B > < C₁ > < B > < B₁ > < D > < D₁ > < B >
| a < C₁ > < B > < B₁ > < D > < D₁ > < B >
| b < C₁ > < B > < B₁ > < D > < D₁ > < B >
| b < B₁ > < B > < B > < B₁ > < D > < D₁ > < B >
| b < B > < B > < B₁ > < D > < D₁ > < B >
| a < B > < B₁ > < D > < D₁ > < B >
| b < B > < B₁ > < D > < D₁ > < B >
| b < B₁ > < D > < D₁ > < B >
| b < B₁ > < B > < C₁ > < B > < D > < D₁ > < B >
| b < B > < C₁ > < B > < D > < D₁ > < B >
| a < C₁ > < B > < D > < D₁ > < B >
| b < C₁ > < B > < D > < D₁ > < B >
| b < B₁ > < B > < B > < D > < D₁ > < B >
| b < B > < B > < D > < D₁ > < B >
| a < B > < D > < D₁ > < B >
| b < B > < D > < D₁ > < B >
| b < D > < D₁ > < B >
| a < D₁ > < B >
| b < B₁ > < B > < C₁ > < B > < B₁ > < D > < B >
| b < B > < C₁ > < B > < B₁ > < D > < B >
| a < C₁ > < B > < B₁ > < D > < B >
| b < C₁ > < B > < B₁ > < D > < B >
| b < B₁ > < B > < B > < B₁ > < D > < B >
| b < B > < B > < B₁ > < D > < B >
| a < B > < B₁ > < D > < B >
| b < B > < B₁ > < D > < B >
| b < B₁ > < D > < B >
| b < B₁ > < B > < C₁ > < B > < D > < B >
| b < B > < C₁ > < B > < D > < B >
| a < C₁ > < B > < D > < B >
| b < C₁ > < B > < D > < B >
| b < B₁ > < B > < B > < D > < B >
| b < B > < B > < D > < B >
| a < B > < D > < B >
| b < B > < D > < B >
| b < D > < B >
| a < B >
| b < B₁ > < B > < C₁ > < B > < B₁ > < D >
| b < B > < C₁ > < B > < B₁ > < D >
| a < C₁ > < B > < B₁ > < D >
| b < C₁ > < B > < B₁ > < D >
| b < B₁ > < B > < B > < B₁ > < D >
| b < B > < B > < B₁ > < D >
| a < B > < B₁ > < D >
| b < B > < B₁ > < D >
| b < B₁ > < D >
| b < B₁ > < B > < C₁ > < B > < D >
| b < B > < C₁ > < B > < D >
| a < C₁ > < B > < D >
| b < C₁ > < B > < D >
| b < B₁ > < B > < B > < D >
| b < B > < B > < D >
| a < B > < D >
| b < B > < D >
| b < D >
| a
< B > -> b < B₁ > < B > < C₁ > < B > < B₁ >
| b < B > < C₁ > < B > < B₁ >
| a < C₁ > < B > < B₁ >
| b < C₁ > < B > < B₁ >
| b < B₁ > < B > < B > < B₁ >
| b < B > < B > < B₁ >
| a < B > < B₁ >
| b < B > < B₁ >
| b < B₁ >
| b < B₁ > < B > < C₁ > < B >
| b < B > < C₁ > < B >
| a < C₁ > < B >
| b < C₁ > < B >
| b < B₁ > < B > < B >
| b < B > < B >
| a < B >
| b < B >
| b
< B₁ > -> b < B₁ > < B > < C₁ > < B₁ >
| b < B > < C₁ > < B₁ >
| a < C₁ > < B₁ >
| b < C₁ > < B₁ >
| b < B₁ > < B > < B₁ >
| b < B > < B₁ >
| a < B₁ >
| b < B₁ >
| b < B₁ > < B > < C₁ >
| b < B > < C₁ >
| a < C₁ >
| b < C₁ >
| b < B₁ > < B >
| b < B >
| a
| b
< C > -> b < B₁ > < B > < C₁ >
| b < B > < C₁ >
| a < C₁ >
| b < C₁ >
| b < B₁ > < B >
| b < B >
| a
| b
< C₁ > -> b < B₁ > < B > < C₁ > < B > < B₁ > < B₁ > < B > < C₁ >
| b < B > < C₁ > < B > < B₁ > < B₁ > < B > < C₁ >
| a < C₁ > < B > < B₁ > < B₁ > < B > < C₁ >
| b < C₁ > < B > < B₁ > < B₁ > < B > < C₁ >
| b < B₁ > < B > < B > < B₁ > < B₁ > < B > < C₁ >
| b < B > < B > < B₁ > < B₁ > < B > < C₁ >
| a < B > < B₁ > < B₁ > < B > < C₁ >
| b < B > < B₁ > < B₁ > < B > < C₁ >
| b < B₁ > < B₁ > < B > < C₁ >
| b < B₁ > < B > < C₁ > < B > < B₁ > < B > < C₁ >
| b < B > < C₁ > < B > < B₁ > < B > < C₁ >
| a < C₁ > < B > < B₁ > < B > < C₁ >
| b < C₁ > < B > < B₁ > < B > < C₁ >
| b < B₁ > < B > < B > < B₁ > < B > < C₁ >
| b < B > < B > < B₁ > < B > < C₁ >
| a < B > < B₁ > < B > < C₁ >
| b < B > < B₁ > < B > < C₁ >
| b < B₁ > < B > < C₁ >
| b < B₁ > < B > < C₁ > < B > < B₁ > < B > < C₁ >
| b < B > < C₁ > < B > < B₁ > < B > < C₁ >
| a < C₁ > < B > < B₁ > < B > < C₁ >
| b < C₁ > < B > < B₁ > < B > < C₁ >
| b < B₁ > < B > < B > < B₁ > < B > < C₁ >
| b < B > < B > < B₁ > < B > < C₁ >
| a < B > < B₁ > < B > < C₁ >
| b < B > < B₁ > < B > < C₁ >
| b < B₁ > < B > < C₁ >
| b < B₁ > < B > < C₁ > < B > < B > < C₁ >
| b < B > < C₁ > < B > < B > < C₁ >
| a < C₁ > < B > < B > < C₁ >
| b < C₁ > < B > < B > < C₁ >
| b < B₁ > < B > < B > < B > < C₁ >
| b < B > < B > < B > < C₁ >
| a < B > < B > < C₁ >
| b < B > < B > < C₁ >
| b < B > < C₁ >
| b < B₁ > < B > < C₁ > < B > < B₁ > < B₁ > < B >
| b < B > < C₁ > < B > < B₁ > < B₁ > < B >
| a < C₁ > < B > < B₁ > < B₁ > < B >
| b < C₁ > < B > < B₁ > < B₁ > < B >
| b < B₁ > < B > < B > < B₁ > < B₁ > < B >
| b < B > < B > < B₁ > < B₁ > < B >
| a < B > < B₁ > < B₁ > < B >
| b < B > < B₁ > < B₁ > < B >
| b < B₁ > < B₁ > < B >
| b < B₁ > < B > < C₁ > < B > < B₁ > < B >
| b < B > < C₁ > < B > < B₁ > < B >
| a < C₁ > < B > < B₁ > < B >
| b < C₁ > < B > < B₁ > < B >
| b < B₁ > < B > < B > < B₁ > < B >
| b < B > < B > < B₁ > < B >
| a < B > < B₁ > < B >
| b < B > < B₁ > < B >
| b < B₁ > < B >
| b < B₁ > < B > < C₁ > < B > < B₁ > < B >
| b < B > < C₁ > < B > < B₁ > < B >
| a < C₁ > < B > < B₁ > < B >
| b < C₁ > < B > < B₁ > < B >
| b < B₁ > < B > < B > < B₁ > < B >
| b < B > < B > < B₁ > < B >
| a < B > < B₁ > < B >
| b < B > < B₁ > < B >
| b < B₁ > < B >
| b < B₁ > < B > < C₁ > < B > < B >
| b < B > < C₁ > < B > < B >
| a < C₁ > < B > < B >
| b < C₁ > < B > < B >
| b < B₁ > < B > < B > < B >
| b < B > < B > < B >
| a < B > < B >
| b < B > < B >
| b < B >
< D > -> b < B₁ > < B > < C₁ > < B > < B₁ > < D > < D₁ >
| b < B > < C₁ > < B > < B₁ > < D > < D₁ >
| a < C₁ > < B > < B₁ > < D > < D₁ >
| b < C₁ > < B > < B₁ > < D > < D₁ >
| b < B₁ > < B > < B > < B₁ > < D > < D₁ >
| b < B > < B > < B₁ > < D > < D₁ >
| a < B > < B₁ > < D > < D₁ >
| b < B > < B₁ > < D > < D₁ >
| b < B₁ > < D > < D₁ >
| b < B₁ > < B > < C₁ > < B > < D > < D₁ >
| b < B > < C₁ > < B > < D > < D₁ >
| a < C₁ > < B > < D > < D₁ >
| b < C₁ > < B > < D > < D₁ >
| b < B₁ > < B > < B > < D > < D₁ >
| b < B > < B > < D > < D₁ >
| a < B > < D > < D₁ >
| b < B > < D > < D₁ >
| b < D > < D₁ >
| a < D₁ >
| b < B₁ > < B > < C₁ > < B > < B₁ > < D >
| b < B > < C₁ > < B > < B₁ > < D >
| a < C₁ > < B > < B₁ > < D >
| b < C₁ > < B > < B₁ > < D >
| b < B₁ > < B > < B > < B₁ > < D >
| b < B > < B > < B₁ > < D >
| a < B > < B₁ > < D >
| b < B > < B₁ > < D >
| b < B₁ > < D >
| b < B₁ > < B > < C₁ > < B > < D >
| b < B > < C₁ > < B > < D >
| a < C₁ > < B > < D >
| b < C₁ > < B > < D >
| b < B₁ > < B > < B > < D >
| b < B > < B > < D >
| a < B > < D >
| b < B > < D >
| b < D >
| a
< D₁ > -> b < B₁ > < B > < C₁ > < B > < B₁ > < D > < D₁ > < D₁ >
| b < B > < C₁ > < B > < B₁ > < D > < D₁ > < D₁ >
| a < C₁ > < B > < B₁ > < D > < D₁ > < D₁ >
| b < C₁ > < B > < B₁ > < D > < D₁ > < D₁ >
| b < B₁ > < B > < B > < B₁ > < D > < D₁ > < D₁ >
| b < B > < B > < B₁ > < D > < D₁ > < D₁ >
| a < B > < B₁ > < D > < D₁ > < D₁ >
| b < B > < B₁ > < D > < D₁ > < D₁ >
| b < B₁ > < D > < D₁ > < D₁ >
| b < B₁ > < B > < C₁ > < B > < D > < D₁ > < D₁ >
| b < B > < C₁ > < B > < D > < D₁ > < D₁ >
| a < C₁ > < B > < D > < D₁ > < D₁ >
| b < C₁ > < B > < D > < D₁ > < D₁ >
| b < B₁ > < B > < B > < D > < D₁ > < D₁ >
| b < B > < B > < D > < D₁ > < D₁ >
| a < B > < D > < D₁ > < D₁ >
| b < B > < D > < D₁ > < D₁ >
| b < D > < D₁ > < D₁ >
| a < D₁ > < D₁ >
| b < B₁ > < B > < C₁ > < B > < B₁ > < D > < D₁ >
| b < B > < C₁ > < B > < B₁ > < D > < D₁ >
| a < C₁ > < B > < B₁ > < D > < D₁ >
| b < C₁ > < B > < B₁ > < D > < D₁ >
| b < B₁ > < B > < B > < B₁ > < D > < D₁ >
| b < B > < B > < B₁ > < D > < D₁ >
| a < B > < B₁ > < D > < D₁ >
| b < B > < B₁ > < D > < D₁ >
| b < B₁ > < D > < D₁ >
| b < B₁ > < B > < C₁ > < B > < D > < D₁ >
| b < B > < C₁ > < B > < D > < D₁ >
| a < C₁ > < B > < D > < D₁ >
| b < C₁ > < B > < D > < D₁ >
| b < B₁ > < B > < B > < D > < D₁ >
| b < B > < B > < D > < D₁ >
| a < B > < D > < D₁ >
| b < B > < D > < D₁ >
| b < D > < D₁ >
| a < D₁ >
| b < B₁ > < B > < C₁ > < B > < B₁ > < D > < D₁ >
| b < B > < C₁ > < B > < B₁ > < D > < D₁ >
| a < C₁ > < B > < B₁ > < D > < D₁ >
| b < C₁ > < B > < B₁ > < D > < D₁ >
| b < B₁ > < B > < B > < B₁ > < D > < D₁ >
| b < B > < B > < B₁ > < D > < D₁ >
| a < B > < B₁ > < D > < D₁ >
| b < B > < B₁ > < D > < D₁ >
| b < B₁ > < D > < D₁ >
| b < B₁ > < B > < C₁ > < B > < D > < D₁ >
| b < B > < C₁ > < B > < D > < D₁ >
| a < C₁ > < B > < D > < D₁ >
| b < C₁ > < B > < D > < D₁ >
| b < B₁ > < B > < B > < D > < D₁ >
| b < B > < B > < D > < D₁ >
| a < B > < D > < D₁ >
| b < B > < D > < D₁ >
| b < D > < D₁ >
| a < D₁ >
| b < B₁ > < B > < C₁ > < B > < B₁ > < D >
| b < B > < C₁ > < B > < B₁ > < D >
| a < C₁ > < B > < B₁ > < D >
| b < C₁ > < B > < B₁ > < D >
| b < B₁ > < B > < B > < B₁ > < D >
| b < B > < B > < B₁ > < D >
| a < B > < B₁ > < D >
| b < B > < B₁ > < D >
| b < B₁ > < D >
| b < B₁ > < B > < C₁ > < B > < D >
| b < B > < C₁ > < B > < D >
| a < C₁ > < B > < D >
| b < C₁ > < B > < D >
| b < B₁ > < B > < B > < D >
| b < B > < B > < D >
| a < B > < D >
| b < B > < D >
| b < D >
| a }
6. Produções da forma < Ar > -> a α onde α é composto por variáveis
G = ({A, B, B₁, C, C₁, D, D₁}, {a, b}, P, A)
P = {< A > -> b < B₁ > < B > < C₁ > < B > < B₁ > < D > < D₁ > < B >
| b < B > < C₁ > < B > < B₁ > < D > < D₁ > < B >
| a < C₁ > < B > < B₁ > < D > < D₁ > < B >
| b < C₁ > < B > < B₁ > < D > < D₁ > < B >
| b < B₁ > < B > < B > < B₁ > < D > < D₁ > < B >
| b < B > < B > < B₁ > < D > < D₁ > < B >
| a < B > < B₁ > < D > < D₁ > < B >
| b < B > < B₁ > < D > < D₁ > < B >
| b < B₁ > < D > < D₁ > < B >
| b < B₁ > < B > < C₁ > < B > < D > < D₁ > < B >
| b < B > < C₁ > < B > < D > < D₁ > < B >
| a < C₁ > < B > < D > < D₁ > < B >
| b < C₁ > < B > < D > < D₁ > < B >
| b < B₁ > < B > < B > < D > < D₁ > < B >
| b < B > < B > < D > < D₁ > < B >
| a < B > < D > < D₁ > < B >
| b < B > < D > < D₁ > < B >
| b < D > < D₁ > < B >
| a < D₁ > < B >
| b < B₁ > < B > < C₁ > < B > < B₁ > < D > < B >
| b < B > < C₁ > < B > < B₁ > < D > < B >
| a < C₁ > < B > < B₁ > < D > < B >
| b < C₁ > < B > < B₁ > < D > < B >
| b < B₁ > < B > < B > < B₁ > < D > < B >
| b < B > < B > < B₁ > < D > < B >
| a < B > < B₁ > < D > < B >
| b < B > < B₁ > < D > < B >
| b < B₁ > < D > < B >
| b < B₁ > < B > < C₁ > < B > < D > < B >
| b < B > < C₁ > < B > < D > < B >
| a < C₁ > < B > < D > < B >
| b < C₁ > < B > < D > < B >
| b < B₁ > < B > < B > < D > < B >
| b < B > < B > < D > < B >
| a < B > < D > < B >
| b < B > < D > < B >
| b < D > < B >
| a < B >
| b < B₁ > < B > < C₁ > < B > < B₁ > < D >
| b < B > < C₁ > < B > < B₁ > < D >
| a < C₁ > < B > < B₁ > < D >
| b < C₁ > < B > < B₁ > < D >
| b < B₁ > < B > < B > < B₁ > < D >
| b < B > < B > < B₁ > < D >
| a < B > < B₁ > < D >
| b < B > < B₁ > < D >
| b < B₁ > < D >
| b < B₁ > < B > < C₁ > < B > < D >
| b < B > < C₁ > < B > < D >
| a < C₁ > < B > < D >
| b < C₁ > < B > < D >
| b < B₁ > < B > < B > < D >
| b < B > < B > < D >
| a < B > < D >
| b < B > < D >
| b < D >
| a
< B > -> b < B₁ > < B > < C₁ > < B > < B₁ >
| b < B > < C₁ > < B > < B₁ >
| a < C₁ > < B > < B₁ >
| b < C₁ > < B > < B₁ >
| b < B₁ > < B > < B > < B₁ >
| b < B > < B > < B₁ >
| a < B > < B₁ >
| b < B > < B₁ >
| b < B₁ >
| b < B₁ > < B > < C₁ > < B >
| b < B > < C₁ > < B >
| a < C₁ > < B >
| b < C₁ > < B >
| b < B₁ > < B > < B >
| b < B > < B >
| a < B >
| b < B >
| b
< B₁ > -> b < B₁ > < B > < C₁ > < B₁ >
| b < B > < C₁ > < B₁ >
| a < C₁ > < B₁ >
| b < C₁ > < B₁ >
| b < B₁ > < B > < B₁ >
| b < B > < B₁ >
| a < B₁ >
| b < B₁ >
| b < B₁ > < B > < C₁ >
| b < B > < C₁ >
| a < C₁ >
| b < C₁ >
| b < B₁ > < B >
| b < B >
| a
| b
< C > -> b < B₁ > < B > < C₁ >
| b < B > < C₁ >
| a < C₁ >
| b < C₁ >
| b < B₁ > < B >
| b < B >
| a
| b
< C₁ > -> b < B₁ > < B > < C₁ > < B > < B₁ > < B₁ > < B > < C₁ >
| b < B > < C₁ > < B > < B₁ > < B₁ > < B > < C₁ >
| a < C₁ > < B > < B₁ > < B₁ > < B > < C₁ >
| b < C₁ > < B > < B₁ > < B₁ > < B > < C₁ >
| b < B₁ > < B > < B > < B₁ > < B₁ > < B > < C₁ >
| b < B > < B > < B₁ > < B₁ > < B > < C₁ >
| a < B > < B₁ > < B₁ > < B > < C₁ >
| b < B > < B₁ > < B₁ > < B > < C₁ >
| b < B₁ > < B₁ > < B > < C₁ >
| b < B₁ > < B > < C₁ > < B > < B₁ > < B > < C₁ >
| b < B > < C₁ > < B > < B₁ > < B > < C₁ >
| a < C₁ > < B > < B₁ > < B > < C₁ >
| b < C₁ > < B > < B₁ > < B > < C₁ >
| b < B₁ > < B > < B > < B₁ > < B > < C₁ >
| b < B > < B > < B₁ > < B > < C₁ >
| a < B > < B₁ > < B > < C₁ >
| b < B > < B₁ > < B > < C₁ >
| b < B₁ > < B > < C₁ >
| b < B₁ > < B > < C₁ > < B > < B₁ > < B > < C₁ >
| b < B > < C₁ > < B > < B₁ > < B > < C₁ >
| a < C₁ > < B > < B₁ > < B > < C₁ >
| b < C₁ > < B > < B₁ > < B > < C₁ >
| b < B₁ > < B > < B > < B₁ > < B > < C₁ >
| b < B > < B > < B₁ > < B > < C₁ >
| a < B > < B₁ > < B > < C₁ >
| b < B > < B₁ > < B > < C₁ >
| b < B₁ > < B > < C₁ >
| b < B₁ > < B > < C₁ > < B > < B > < C₁ >
| b < B > < C₁ > < B > < B > < C₁ >
| a < C₁ > < B > < B > < C₁ >
| b < C₁ > < B > < B > < C₁ >
| b < B₁ > < B > < B > < B > < C₁ >
| b < B > < B > < B > < C₁ >
| a < B > < B > < C₁ >
| b < B > < B > < C₁ >
| b < B > < C₁ >
| b < B₁ > < B > < C₁ > < B > < B₁ > < B₁ > < B >
| b < B > < C₁ > < B > < B₁ > < B₁ > < B >
| a < C₁ > < B > < B₁ > < B₁ > < B >
| b < C₁ > < B > < B₁ > < B₁ > < B >
| b < B₁ > < B > < B > < B₁ > < B₁ > < B >
| b < B > < B > < B₁ > < B₁ > < B >
| a < B > < B₁ > < B₁ > < B >
| b < B > < B₁ > < B₁ > < B >
| b < B₁ > < B₁ > < B >
| b < B₁ > < B > < C₁ > < B > < B₁ > < B >
| b < B > < C₁ > < B > < B₁ > < B >
| a < C₁ > < B > < B₁ > < B >
| b < C₁ > < B > < B₁ > < B >
| b < B₁ > < B > < B > < B₁ > < B >
| b < B > < B > < B₁ > < B >
| a < B > < B₁ > < B >
| b < B > < B₁ > < B >
| b < B₁ > < B >
| b < B₁ > < B > < C₁ > < B > < B₁ > < B >
| b < B > < C₁ > < B > < B₁ > < B >
| a < C₁ > < B > < B₁ > < B >
| b < C₁ > < B > < B₁ > < B >
| b < B₁ > < B > < B > < B₁ > < B >
| b < B > < B > < B₁ > < B >
| a < B > < B₁ > < B >
| b < B > < B₁ > < B >
| b < B₁ > < B >
| b < B₁ > < B > < C₁ > < B > < B >
| b < B > < C₁ > < B > < B >
| a < C₁ > < B > < B >
| b < C₁ > < B > < B >
| b < B₁ > < B > < B > < B >
| b < B > < B > < B >
| a < B > < B >
| b < B > < B >
| b < B >
< D > -> b < B₁ > < B > < C₁ > < B > < B₁ > < D > < D₁ >
| b < B > < C₁ > < B > < B₁ > < D > < D₁ >
| a < C₁ > < B > < B₁ > < D > < D₁ >
| b < C₁ > < B > < B₁ > < D > < D₁ >
| b < B₁ > < B > < B > < B₁ > < D > < D₁ >
| b < B > < B > < B₁ > < D > < D₁ >
| a < B > < B₁ > < D > < D₁ >
| b < B > < B₁ > < D > < D₁ >
| b < B₁ > < D > < D₁ >
| b < B₁ > < B > < C₁ > < B > < D > < D₁ >
| b < B > < C₁ > < B > < D > < D₁ >
| a < C₁ > < B > < D > < D₁ >
| b < C₁ > < B > < D > < D₁ >
| b < B₁ > < B > < B > < D > < D₁ >
| b < B > < B > < D > < D₁ >
| a < B > < D > < D₁ >
| b < B > < D > < D₁ >
| b < D > < D₁ >
| a < D₁ >
| b < B₁ > < B > < C₁ > < B > < B₁ > < D >
| b < B > < C₁ > < B > < B₁ > < D >
| a < C₁ > < B > < B₁ > < D >
| b < C₁ > < B > < B₁ > < D >
| b < B₁ > < B > < B > < B₁ > < D >
| b < B > < B > < B₁ > < D >
| a < B > < B₁ > < D >
| b < B > < B₁ > < D >
| b < B₁ > < D >
| b < B₁ > < B > < C₁ > < B > < D >
| b < B > < C₁ > < B > < D >
| a < C₁ > < B > < D >
| b < C₁ > < B > < D >
| b < B₁ > < B > < B > < D >
| b < B > < B > < D >
| a < B > < D >
| b < B > < D >
| b < D >
| a
< D₁ > -> b < B₁ > < B > < C₁ > < B > < B₁ > < D > < D₁ > < D₁ >
| b < B > < C₁ > < B > < B₁ > < D > < D₁ > < D₁ >
| a < C₁ > < B > < B₁ > < D > < D₁ > < D₁ >
| b < C₁ > < B > < B₁ > < D > < D₁ > < D₁ >
| b < B₁ > < B > < B > < B₁ > < D > < D₁ > < D₁ >
| b < B > < B > < B₁ > < D > < D₁ > < D₁ >
| a < B > < B₁ > < D > < D₁ > < D₁ >
| b < B > < B₁ > < D > < D₁ > < D₁ >
| b < B₁ > < D > < D₁ > < D₁ >
| b < B₁ > < B > < C₁ > < B > < D > < D₁ > < D₁ >
| b < B > < C₁ > < B > < D > < D₁ > < D₁ >
| a < C₁ > < B > < D > < D₁ > < D₁ >
| b < C₁ > < B > < D > < D₁ > < D₁ >
| b < B₁ > < B > < B > < D > < D₁ > < D₁ >
| b < B > < B > < D > < D₁ > < D₁ >
| a < B > < D > < D₁ > < D₁ >
| b < B > < D > < D₁ > < D₁ >
| b < D > < D₁ > < D₁ >
| a < D₁ > < D₁ >
| b < B₁ > < B > < C₁ > < B > < B₁ > < D > < D₁ >
| b < B > < C₁ > < B > < B₁ > < D > < D₁ >
| a < C₁ > < B > < B₁ > < D > < D₁ >
| b < C₁ > < B > < B₁ > < D > < D₁ >
| b < B₁ > < B > < B > < B₁ > < D > < D₁ >
| b < B > < B > < B₁ > < D > < D₁ >
| a < B > < B₁ > < D > < D₁ >
| b < B > < B₁ > < D > < D₁ >
| b < B₁ > < D > < D₁ >
| b < B₁ > < B > < C₁ > < B > < D > < D₁ >
| b < B > < C₁ > < B > < D > < D₁ >
| a < C₁ > < B > < D > < D₁ >
| b < C₁ > < B > < D > < D₁ >
| b < B₁ > < B > < B > < D > < D₁ >
| b < B > < B > < D > < D₁ >
| a < B > < D > < D₁ >
| b < B > < D > < D₁ >
| b < D > < D₁ >
| a < D₁ >
| b < B₁ > < B > < C₁ > < B > < B₁ > < D > < D₁ >
| b < B > < C₁ > < B > < B₁ > < D > < D₁ >
| a < C₁ > < B > < B₁ > < D > < D₁ >
| b < C₁ > < B > < B₁ > < D > < D₁ >
| b < B₁ > < B > < B > < B₁ > < D > < D₁ >
| b < B > < B > < B₁ > < D > < D₁ >
| a < B > < B₁ > < D > < D₁ >
| b < B > < B₁ > < D > < D₁ >
| b < B₁ > < D > < D₁ >
| b < B₁ > < B > < C₁ > < B > < D > < D₁ >
| b < B > < C₁ > < B > < D > < D₁ >
| a < C₁ > < B > < D > < D₁ >
| b < C₁ > < B > < D > < D₁ >
| b < B₁ > < B > < B > < D > < D₁ >
| b < B > < B > < D > < D₁ >
| a < B > < D > < D₁ >
| b < B > < D > < D₁ >
| b < D > < D₁ >
| a < D₁ >
| b < B₁ > < B > < C₁ > < B > < B₁ > < D >
| b < B > < C₁ > < B > < B₁ > < D >
| a < C₁ > < B > < B₁ > < D >
| b < C₁ > < B > < B₁ > < D >
| b < B₁ > < B > < B > < B₁ > < D >
| b < B > < B > < B₁ > < D >
| a < B > < B₁ > < D >
| b < B > < B₁ > < D >
| b < B₁ > < D >
| b < B₁ > < B > < C₁ > < B > < D >
| b < B > < C₁ > < B > < D >
| a < C₁ > < B > < D >
| b < C₁ > < B > < D >
| b < B₁ > < B > < B > < D >
| b < B > < B > < D >
| a < B > < D >
| b < B > < D >
| b < D >
| a }