Algorithmen, rekursive Funktionen und formale Sprachen