Now showing items 16-20 of 179

    • An implementation of algorithms to define and manipulate finite automata and regular expressions 

      Maroof, Adnan Abdul Kadir (University of St Andrews, 1985) - Thesis
      The main purpose of the work described in this chapter is to enable the user to define and modify deterministic and non-deterministic finite automata. The first step is to allow the user to define states and transitions ...
    • A syntax directed translator 

      Kadwa, Abdul Khaliq (University of St Andrews, 1969) - Thesis
      'This Thesis describes a program, based on the mechanism discussed by Metcalfe [AL] , which performs indicated operations automatically to check syntax of various source languages and also translates a source language into ...
    • Harmonic mean estimates for recapture debugging 

      Al-Harbi, Abdulghani A. Ghonaim (University of St Andrews, 1990) - Thesis
      In this thesis we examine the problem of estimating the number of errors (bugs) in a reliability system using the recapture debugging model suggested by Nayak (1988). The reliability system contains a certain number N of ...
    • Nonlinear partial differential equations on fractals 

      Hu, Jiaxin (University of St Andrews, 2001) - Thesis
      The study of nonlinear partial differential equations on fractals is a burgeoning inter-disciplinary topic, allowing dynamic properties on fractals to be investigated. In this thesis we will investigate nonlinear PDEs of ...
    • Adaptive distance sampling 

      Pollard, John (University of St Andrews, 2002) - Thesis
      We investigate mechanisms to improve efficiency for line and point transect surveys of clustered populations by combining the distance methods with adaptive sampling. In adaptive sampling, survey effort is increased when ...