Post correspondence problem

undecidable decision problem

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

หมวดหมู่:

decision problem