Гжегорчик hierarchy
- Статья представляет иерархию Гжегорчика, которая является расширением иерархии рекурсивных функций.
- Иерархия Гжегорчика включает функции, которые могут быть определены на разных уровнях.
- Отношения к примитивным рекурсивным функциям показывают, что все функции на любом уровне иерархии являются примитивными рекурсивными функциями.
- Мейер и Ричи ввели другую иерархию, основанную на гнездовой глубине петель, необходимых для записи программы петли, вычисляющей функцию.
- Иерархия Гжегорчика может быть преобразована в ординалы, определяя быструю растущую иерархию.
Полный текст статьи: