The Depth of Generalized Full Terms and Generalized Full Hypersubstitutions

<table>The embedding of <svg height="11.175" id="M58" style="vertical-align:-0.0pt" version="1.1" viewbox="0 0 13.5875 11.175" width="13.5875" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.113)"><path d="M775 650l-6 -28q-60 -6 -81.5 -16t-61.5 -54l-175 -191l125 -243q30 -58 48.5 -71t82.5 -19l-5 -28h-275l7 28l35 4q31 4 37 12t-6 34l-108 216q-140 -165 -177 -219q-16 -22 -10.5 -30.5t41.5 -13.5l22 -3l-7 -28h-244l8 28q52 4 75 15.5t67 52.5q48 46 206 231
l-110 215q-26 51 -44 63t-72 17l6 28h250l-6 -28l-27 -4q-30 -5 -35 -10t3 -27q17 -43 95 -190q70 78 154 185q15 21 10 29.5t-33 12.5l-30 4l5 28h236z" id="x1D44B"></path></g>
</svg> into <svg height="16.4125" id="M59" style="vertical-align:-3.3907pt" version="1.1" viewbox="0 0 47.337502 16.4125" width="47.337502" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.138)"><path d="M896 662l11 -15q-88 -73 -176 -73q-57 0 -181 30t-168 30q-93 0 -148 -39t-55 -104q0 -54 30 -83t77 -29q70 0 114 42.5t72 133.5l20 -1q-39 -205 -209 -205q-59 0 -102 37t-43 98q0 78 64 132q76 64 227 64q58 0 180 -28t174 -28q46 0 113 38zM657 568l14 -14
q-32 -32 -55 -80t-52 -137q69 14 121 15q17 26 39 41.5t39 15.5q23 0 23 -22q0 -15 -21 -37.5t-51 -37.5q-8 -24 -8 -60q0 -12 3 -26l-59 -20v18q0 31 11 70q-63 -3 -115 -12q-105 -282 -354 -282q-60 0 -104 28q-45 28 -45 83q0 32 16.5 50.5t43.5 18.5q20 0 35 -14.5
t15 -34.5q0 -21 -12 -35.5t-32 -14.5q-22 0 -29 13h-2q4 -27 34 -45t72 -18q76 0 132 48q56 47 121 177q-99 -32 -177 -85l-13 15q58 70 216 124l14 31q29 67 70 117.5t110 109.5z" id="x2131"></path></g>
<g transform="matrix(.012,-0,0,-.012,15.687,16.212)"><path d="M471 456q-22 -60 -37 -85q-20 -3 -84 -3q-9 0 -29 2t-29 2q-38 -145 -54 -234q-15 -80 14 -80q23 0 68 38l14 -25q-78 -83 -137 -83q-50 0 -50 64q0 25 7 57l67 266q-57 4 -98 -9t-80 -49l-20 21q14 18 27 31t36.5 30t56.5 26t73 9q26 0 82.5 -2t89.5 -2q21 0 32 5t24 24
z" id="x1D70F"></path></g>
<g transform="matrix(.017,-0,0,-.017,22.05,12.138)"><path d="M300 -147l-18 -23q-106 71 -159 185.5t-53 254.5v1q0 139 53 252.5t159 186.5l18 -24q-74 -62 -115.5 -173.5t-41.5 -242.5q0 -130 41.5 -242.5t115.5 -174.5z" id="x28"></path></g><g transform="matrix(.017,-0,0,-.017,27.932,12.138)"><path d="M775 650l-6 -28q-60 -6 -81.5 -16t-61.5 -54l-175 -191l125 -243q30 -58 48.5 -71t82.5 -19l-5 -28h-275l7 28l35 4q31 4 37 12t-6 34l-108 216q-140 -165 -177 -219q-16 -22 -10.5 -30.5t41.5 -13.5l22 -3l-7 -28h-244l8 28q52 4 75 15.5t67 52.5q48 46 206 231
l-110 215q-26 51 -44 63t-72 17l6 28h250l-6 -28l-27 -4q-30 -5 -35 -10t3 -27q17 -43 95 -190q70 78 154 185q15 21 10 29.5t-33 12.5l-30 4l5 28h236z" id="x1D44B"></path></g><g transform="matrix(.017,-0,0,-.017,41.395,12.138)"><path d="M275 270q0 -296 -211 -440l-19 23q75 62 116.5 174t41.5 243t-42 243t-116 173l19 24q211 -144 211 -440z" id="x29"></path></g>
</svg>.</table>

Algebra

fig1

Figure 1

Figure 1: The Depth of Generalized Full Terms and Generalized Full Hypersubstitutions 