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

  Скачати повний текст