Jabarkan Teori komputasi dari Palindrom

Dalam teori automata, suatu himpunan dari semua palindrom dalam komposisi alfabet yang dimasukkan bukan merupakan komponen bahasa reguler, melainkan sebuah contoh tipikal dari formal yang memiliki konteks bebas. Hal ini berarti, mustahil bagi sebuah komputer atau mesin komputasi lainnya dengan kapasitas memori terbatas dapat melakukan palindrom dengan benar.

Selain itu, kemampuan komputasinya diperparah dengan kemungkinan bahwa palindrom tidak dites penggunaannya oleh deterministic pushdown automaton, yang berarti mereka tidak termasuk dalam golongan fungsi parser LR(k) atau LL(k) yang dapat dkparserkan. Saat palindrom dibaca dari kiri ke kanan, secara esensial mustahil untuk menentukan lokasi "pusat" hingga seluruh kata atau kalimat dibaca utuh.

Akan tetapi, substring palindromik terpanjang dari input yang dimasukman masih mungkin ditemukan dengan metode waktu linear.

Kepadatan palindromik dari suatu kata tak terhingga w atas alfabet A memiliki nilai yang didefinisikan sebagai nol jika awalan berupa palindrom dan memiliki jumlah terhingga, jika tidak, misalkan awalan palindromik dapat melebar hingga sepanjang  untuk , maka penentuan nilai kepadatan didefinisikan sebagai

Diantara banyak kata aperiodik yang sudah ditemukan, kata Fibonacci memiliki kepadatan paling besar, yaitu sebesar , dengan  melambangkan rasio emas .

Palstar adalah gabungan dari sejumlah string palindrom, dan harus memiliki komposisi palindrom yang bukan terdiri dari satu huruf saja, jika tidak, semua string akan menjadi bentuk palstar.