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)

    I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.”
    Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)

    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)

    The problem is simply this: no one can feel like CEO of his or her life in the presence of the people who toilet trained her and spanked him when he was naughty. We may have become Masters of the Universe, accustomed to giving life and taking it away, casually ordering people into battle or out of their jobs . . . and yet we may still dirty our diapers at the sound of our mommy’s whimper or our daddy’s growl.
    Frank Pittman (20th century)