Преобразование любой программы в семантически эквивалентную

Недавно я нашел эту теорему здесь , (внизу):

Any program can be transformed into a semantically equivalent program of one procedure containing one switch statement inside a while loop.

Далее в статье говорилось:

A corollary to this theorem is that any program can be rewritten into a program consisting of a single recursive function containing only conditional statements

Мои вопросы: применимы ли обе эти теоремы сегодня? Приносит ли аналогичное преобразование программы какую-либо пользу? Я имею в виду, оптимизирован ли такой код? (Хотя вызовы рекурсии медленнее, я знаю,)

я читал из здесь , что случаи переключения -почти всегда быстрее при оптимизации компилятором. Имеет ли это значение. ?

PS :Я пытаюсь получить некоторое представление об оптимизации компилятора из здесь

И я добавил тег c, так как это единственный язык, который я видел оптимизированным.