We begin with a collection of dominos, each containing two strings, one on each side: ... THE PCP is to determine whether a collection of dominos has a match. ...
Many weird approaches. Some possible approaches in C . e.g.: Ada, page 313. while ( !x && !y ) ... Dijkstra;and 'The Science of Programming', David Gries ...