A altura da estrela (generalizada) de um idioma é o agrupamento mínimo de estrelas Kleene necessárias para representar o idioma por uma expressão regular estendida. Lembre-se de que uma expressão regular estendida sobre um alfabeto finito satisfaz o seguinte:
(1) e um são estendidos expressões regulares para toda a ∈ A
(2) Para todas as expressões regulares estendidas ; E ∪ F , E F , E ∗ e E c são expressões regulares estendidas
Uma frase do problema generalizado da altura da estrela é se existe um algoritmo para calcular a altura mínima generalizada da estrela. Com relação a esse problema, tenho algumas perguntas.
Houve algum progresso recente (ou interesse de pesquisa) em relação a esse problema? Sei há alguns anos que Pin Straubing e Thérien publicaram alguns trabalhos nessa área.
O problema de altura restrita das estrelas foi resolvido em 1988 por Hashiguchi, mas a versão generalizada (tanto quanto eu sei) ainda está aberta. Alguém tem alguma intuição de por que isso pode ser o caso?
Um link que pode ser útil é o seguinte: starheight