"Ten predposledni false je podle me zrejmy. Mas sice nadefinovany strom s jednim listem, ale nemas nadefinovany strom, kde je v jedne vetvi strom a v druhe list."
A rekurzia je co? Na rekurzivnu definiciu stromu ti uplne staci:
1) List je stromom. (Alebo nil je stromom. - podla toho ci pripustas sprazdny strom ako strom; zmeni sa to len v urovni ukoncenia rekurzie, v takomto pripade by si siel dalej aj z listu a narazil by si na dva prazdne stromy.)
2) Vrchol, ktoreho lavy nasledovnik je strom a pravy nasledovnok je strom je tiez strom.
A ak mas vrchol, ktory ma jedneho nasledovnika list a druheho strom, tak ten list je tiez strom, cize splnas pri pouziti def. 1 definiciu 2 a mas strom.