The Star Height Hierarchy Vs. The Variable Hierarchy

Walid Belkhir

The star height hierarchy (resp. the variable hierarchy) results in classifying $\mu$-terms into classes according to the nested depth of fixed point operators (resp. to the number o…