Now showing items 21-25 of 179

    • Contractive Markov systems 

      Werner, Ivan (University of St Andrews, 2004) - Thesis
      We introduce a theory of contractive Markov systems (CMS) which provides a unifying framework in so-called "fractal" geometry. It extends the known theory of iterated function systems (IFS) with place dependent probabilities ...
    • Finding "small' matrices P,Q such that PDQ = S 

      Wainwright, Robert J. (University of St Andrews, 2002) - Thesis
      Given an integer matrix A, there is a unique matrix S of a particular form, called the Smith Normal Form, and non-unique unimodular matrices P and Q such that PAQ = S. It is often the case that these matrices P and Q will ...
    • Automatic S-acts and inverse semigroup presentations 

      Dombi, Erzsebet Rita (University of St Andrews, 2005) - Thesis
      To provide a general framework for the theory of automatic groups and semigroups, we introduce the notion of an automatic semigroup act. This notion gives rise to a variety of definitions for automaticity depending on the ...
    • Automatic semigroups : constructions and subsemigroups 

      Descalco, L. (University of St Andrews, 2002) - Thesis
      In this thesis we start by considering conditions under which some standard semigroup constructions preserve automaticity. We first consider Rees matrix semigroups over a semigroup, which we call the base, and work on the ...
    • Presentations for subsemigroups of groups 

      Cain, Alan James (University of St Andrews, 2005) - Thesis
      This thesis studies subsemigroups of groups from three perspectives: automatic structures, ordinary semigroup presentations, and Malcev presentaions. [A Malcev presentation is a presentation of a special type for a semigroup ...