Post Correspondence Problem - Definition of The Problem

Definition of The Problem

The input of the problem consists of two finite lists and of words over some alphabet having at least two symbols. A solution to this problem is a sequence of indices with and for all, such that

The decision problem then is to decide whether such a solution exists or not.

Read more about this topic:  Post Correspondence Problem

Famous quotes containing the words definition of the, definition of, definition and/or problem:

    The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.
    Jean Baudrillard (b. 1929)

    Scientific method is the way to truth, but it affords, even in
    principle, no unique definition of truth. Any so-called pragmatic
    definition of truth is doomed to failure equally.
    Willard Van Orman Quine (b. 1908)

    The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.
    Jean Baudrillard (b. 1929)

    Only in the problem play is there any real drama, because drama is no mere setting up of the camera to nature: it is the presentation in parable of the conflict between Man’s will and his environment: in a word, of problem.
    George Bernard Shaw (1856–1950)