rekurzivně spočetný