At each step we can change one subword to . Prove that there does not exist an algorithm that picks up and 's,'s and decides whether we can reach from to or not.
Sa bawat hakbang na maaari naming baguhin ang isa subword sa . Patunayan na may ay hindi na umiiral ang isang algorithm na Picks up at 's, 's at nagpapasya kung maaari naming maabot mula sa sa o hindi.