Карнаух Т. О. Класи функцій та чисел, що визначаються трансформаційними та генеруючими моделями обчислень

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