Карнаух Т.О. Класи функцій та чисел, що визначаються трансформаційними та генеруючими моделями обчислень. - Рукопис. Дисертація на здобуття наукового ступеня кандидата фізико-математичних наук за спеціальністю 01.01.08 - математична логіка, теорія алгоритмів і дискретна математика. - Київський національний університет імені Тараса Шевченка, Київ, 2005. В роботі розглядаються можливості моделей обчислень з різними обмеженнями (на тип пам'яті та/або на подання результату обчислень) щодо задания арифметичних функцій, дійсних чисел та дійсних функцій, а також зв'язки між класами дійсних функцій, обчислюваних строгими реалами, та класами функцій, описуваних методами класичного аналізу. В роботі досліджено властивості граматик з пам'яттю, зокрема з нестираючою стековою пам'яттю; побудовано гніздові стекові генератори, що обчислюють трансцендентні числа; для неперервної всюди визначеної дійсної функції в термінах класичного аналізу отримано необхідні і достатні умови того, що її можна задати строгим реалом. Ключові слова: обчислюваність, граматика з пам'яттю, строгий реал, трансцендентне число, гніздовий стековий генератор.