Hints for the Generalized Challenge

Below, you can find a hint for the Generalized Challenge. Actually, it is only the first hint of a sequence of hints, spread out over a chain of separate web pages.

The hints are still under construction.

There are a number of discoveries to be made on the way, and it would be a pity to spoil the fun all at once. You learn more from the Generalized Challenge when you make these discoveries yourself, rather than read them here.

Hint

Instead of writing the requested program G, you could first try to construct, for some specific definitions of function f, corresponding programs Pf manually.

Try constructing these specific programs manually and test them in the machine. There is no facility to help you verify these programs, like the Challenge button. The Challenge button is of no use for the Generalized Challenge. And, in general, it is too hard to automate the verification.

Remember that these programs need not contain a definition and invocation of function f. They only need to behave like that function applied to the program itself.

Apply the hint [ Machine ]

It is your turn ...

Need Another Hint?

If you have no idea how to get started, or if you tried some programs and do not see how to proceed, then you are ready for the .


Valid HTML 4.01 Transitional

Copyright ©2010, Tom Verhoeff, T.Verhoeff@TUE.NL