Karnaukh T. Function and number classes defined by transducers and generators

Українська версія

Thesis for the degree of Candidate of Sciences (CSc)

State registration number

0405U004569

Applicant for

Specialization

  • 01.01.08 - Математична логіка, теорія алгоритмів і дискретна математика

28-11-2005

Specialized Academic Board

Д 26.001.18

Taras Shevchenko National University of Kyiv

Essay

This work is devoted to the investigation of the computational models with different constraint (on memory type and/or output representation) with regard to their abilities to specify arithmetical functions, real numbers and real functions. Interconnections between classes of real functions, which are computable by strict R-transducer-reals, and real functions, described in terms of classical analysis, are established. In this work properties of grammars with memory, in particular with nonerasing stack memory, are investigated. Also nested stack generators for computing transcendental numbers are built. For continuous total real function necessary and sufficient conditions for its defining by strict R-transducer-real are obtained.

Files

Similar theses