The "Simple" Post Correspondence Problem is Decidable, Open Problems

Поділитися
Вставка
  • Опубліковано 1 січ 2025

КОМЕНТАРІ • 2

  • @salahkanjo9329
    @salahkanjo9329 Рік тому +2

    I think you meant y = n - m for the second tile, otherwise the difference can be negative. (5:53)

  • @shauncomino5849
    @shauncomino5849 9 місяців тому

    7:10 you claim an alphabet of two characters is decidable but in your other video you prove that it isn't:
    ua-cam.com/video/AQka06XiJA0/v-deo.html
    I'm confused