Post correspondence problem

undecidable decision problem

en-US/ˈpoʊst ˌkɔɹəˈspɑndəns ˈpɹɑbləm/
en-GB/ˈpəʊst ˌkɒɹɪˈspɒndəns ˈpɹɒbləm/

Категорії:

decision problem