Homework L4-2 hint


This page gives a hint on how to define the hAncestor relation.

Try to construct a recursive definition, in plain English, for the notion of ancestor by expanding the following stub:

An ancestor is either a Y or a U of a V.

Just try inserting appropriate words for Y, U and V. You can use the same word multiple times.


Please send an email if you need further clarification or help.

Last modified by Péter Szeredi, szeredi@cs.bme.hu, on 22-Feb-2022.