In matematica, considerata un'espressione regolare E sopra un alfabeto finito A, si dice altezza star di E l'intero naturale che denotiamo con h(E) definito dalle seguenti richieste ricorsive:
Si definisce inoltre come altezza star h(L) di un linguaggio regolare L la minima delle altezze star delle espressioni regolari che esprimono L.
Marcel Schützenberger nel 1965 ha dimostrato che un linguaggio regolare L ha altezza star uguale a 0 se e solo se il suo monoide sintattico è aperiodico.
