Bir simge dizisi üzerinde kısaltma adı verilen bir işlem uygulanmaktadır. Simgeler sıralı ikililer halinde eşlenmiştir ve bir simge yalnızca bir başka simgeyle eşlenmiştir. Bir işlem adımında, eşlenmiş iki simge dizide yan yana gelirse ikisi birden diziden çıkarılır. Kalan dizi üzerinde aynı işlem tekrar uygulanır. İşlemin uygulanması mümkün olmadığında süreç sona erer.

Örneğin ((a,b),(c,d)) eşlemesi altında aabccddb dizisi sırasıyla accddb, acdb, ab ve boş dizi hâline gelir. İşlem adımlarının sırasının sonucu etkilemediği kabul edilmektedir.

((a,b),(c,d),(e,f)) eşlemesi ve ecddcfaabebf dizisi verildiğinde kısaltma sonucu oluşacak diziyi belirleyiniz.

kkkimnjlijlimkin dizisinin kısaltma işlemi sonucunda boş dizi olması için hangi simge eşlemesinin gerekli olduğunu belirleyiniz.

Belirli bir eşleme altında kısaltma işlemi sonucunda boş diziye dönüşen tüm dizilerin kümesi D ile gösterilmektedir. Bu kümenin özellikleri hakkında verilen önermelerden hangisinin doğru olduğunu belirleyiniz.