(Узагальнена) висота зірки мови - це мінімальне вкладення зірок Клейна, необхідних для представлення мови розширеним регулярним виразом. Нагадаємо, що розширений регулярний вираз над скінченним алфавітом задовольняє наступному:
(1) і a - це розширені регулярні вирази для всіх a ∈ A
(2) Для всіх розширених регулярних виразів ; E ∪ F , E F , E ∗ та E c - це розширені регулярні вирази
Одне формулювання узагальненої проблеми висоти зірки полягає в тому, чи існує алгоритм для обчислення мінімальної узагальненої висоти зірки. Щодо цієї проблеми у мене є кілька питань.
Чи був останній прогрес (або науковий інтерес) щодо цієї проблеми? Мені відомо кілька років тому, що Пін Штраубінг і Терієн опублікували деякі роботи в цій галузі.
Проблема з обмеженою висотою зірки була вирішена в 1988 році Хашигучі, але узагальнена версія (наскільки я знаю) все ще відкрита. Хтось має інтуїцію, чому це може бути так?
Посилання, яке може бути корисним, таке: зоряний зріст