Ketinggian bintang (yang digeneralisasikan) dari suatu bahasa adalah bersarang minimum dari bintang-bintang Kleene yang diperlukan untuk mewakili bahasa dengan suatu ekspresi reguler yang diperluas. Ingatlah bahwa ekspresi reguler yang diperluas menggunakan alfabet terbatas memenuhi yang berikut:
(1) dan sebuah diperpanjang ekspresi reguler untuk semua a ∈ A
(2) Untuk semua persamaan reguler yang diperluas ; E ∪ F , E F , E ∗ dan E c adalah ekspresi reguler yang diperluas
Salah satu ungkapan masalah ketinggian bintang umum adalah apakah ada algoritma untuk menghitung tinggi minimum bintang umum. Berkenaan dengan masalah ini saya punya beberapa pertanyaan.
Apakah ada kemajuan terbaru (atau minat penelitian) tentang masalah ini? Saya tahu beberapa tahun yang lalu bahwa Pin Straubing dan Thrien menerbitkan beberapa makalah di bidang ini.
Masalah ketinggian bintang terbatas diselesaikan pada tahun 1988 oleh Hashiguchi tetapi versi umum (sejauh yang saya tahu) masih terbuka. Adakah yang punya intuisi mengapa ini bisa terjadi?
Tautan yang mungkin bermanfaat adalah sebagai berikut: starheight