Question

17. Show that the following Post correspondence systems have no solutions. a) [b, ba], [aa, b], [bab, aa], [ab, ba] b) [ab, a]. [ba, bab], [b, aa], [ba, ab] c)lab, aba] lbaa, aa]. [aba. baal (dy [ab, bb], [aa, ba]. [ab, abb]. [bb, bab] e) [abb, ab], [aba, ba], [aab, abab]

please answer 17c and 17d.

Answer 1

The poit wrespandonte pralen bays Hab iyen we wss, M, N non hle can say thati thec 1sa est Correspondance Saluhon.닦torçame なSn , the (ondition olation り) Syta Tt hos post cospn

iren post cave endence sqtems 2 pab ab baa ad ala ba eng tht are nol same for any ombination al rto, e don't get ame ngs. So, 1H des no hat anost aresancont System salutim

dl) Tal, bhl, taa, bol 4 ab bb n ths cate there is no solon Becalre lengths ore not same ngle dn't get same Cambinatin Strin o, i ches net has an s Cores panconce syrte