Browsing by Author "Calude, Elena"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    C/C++ implementation of functions of the class LT0
    (Massey University, 2000) Calude, Elena; Kay, Peter; Luo, Weiwei
    This report describes an on-going implementation, in C/C++, of the functions and schemes of the formal system LT0, presented in the paper Caporaso, Pani and Covino [1]. The final aim is to be able to effectively construct a "small manageable" Exponential Diophantine Equation which represents (in the sense of Chaitin [2]) an algorithmical random binary sequence.