Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Post correspondence problem · Vinony

EntityQ798572· pop 16· linked from 25 articles

Post correspondence problem

Sign in to save

undecidable decision problem

Connections

International Standard Book Number

digital object identifier

regular expression

finite-state machine

Chomsky hierarchy

halting problem

group homomorphism

nilpotent element

decision problem

boolean satisfiability problem

regular language

conjugacy class

Categories

Computability theory Theory of computation Undecidable problems

Sources

wikipedia.externallinksexternallink

What links here25 pages

proof of impossibility

ambiguous grammar

Semi-Thue system

context-free grammar

recursively enumerable language

Géraud Sénizergues

parsing expression grammar

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.58

cooperation procedure

Entitydist 0.63

problem solving

Entitydist 0.64

Entitydist 0.65

decision theory

Entitydist 0.65

group decision-making

Entitydist 0.66

Entitydist 0.68

partially observable Markov decision process

Entitydist 0.68

rationalization

Entitydist 0.68

decision analysis

Entitydist 0.69

stateless protocol

Entitydist 0.69

Sequential consistency

Entitydist 0.69