Return to search

Automatically presentable structures

M.Sc. / In this thesis we study some of the propertie of a clas called automatic structures. Automatic structures are structures that can be encoded (in some defined way) into a set of regular languages. This encoding allows one to prove many interesting properties about automatic structures, including decidabilty results.

Identiferoai:union.ndltd.org:netd.ac.za/oai:union.ndltd.org:uj/uj:3443
Date03 September 2012
CreatorsRas, Charl John
Source SetsSouth African National ETD Portal
Detected LanguageEnglish
TypeThesis

Page generated in 0.0018 seconds