Queen's University - Utility Bar

QSpace at Queen's University >
Theses, Dissertations & Graduate Projects >
Queen's Theses & Dissertations >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1974/2584

Title: Minimal Presentations of Sofic Shifts and Properties of Periodic-Finite-Type Shifts
Authors: Manada, Akiko

Files in This Item:

File Description SizeFormat
manada_akiko_200908_PhD.pdf455.52 kBAdobe PDFView/Open
Keywords: sofic shift
periodic-finite-type shift
shannon cover
shift of finite type
zeta function
Issue Date: 2009
Series/Report no.: Canadian theses
Abstract: Constrained codes have been used in data storage systems, such as magnetic tapes, CD’s and DVD’s, in order to reduce the likelihood of errors by predictable noise. The study of constrained codes is based on the study of sofic shifts, which are sets of bi-infinite sequences that can be presented using labeled directed graphs called presentations. In this thesis, we will primarily focus on two classes of sofic shifts, namely shifts of finite type (SFT’s) and periodic-finite-type shifts (PFT’s), and examine their properties. We first consider Shannon covers of sofic shifts. A Shannon cover of a sofic shift is a deterministic presentation with the smallest number of vertices among all deterministic presentations of the shift. Indeed, a Shannon cover is used as a canonical presentation of a sofic shift, and furthermore, it is used when computing the capacity of the shift or when constructing a finite-state encoder. We follow an algorithm by Crochemore, Mignosi and Restivo which constructs a deterministic presentation of an SFT and we see how to derive a Shannon cover from the presentation under their algorithm. Furthermore, as a method to determine whether a given deterministic presentation is a Shannon cover of a sofic shift, we will provide, based on research by Jonoska, a sufficient condition for a given presentation to have the smallest number of vertices among all presentations of the shift. We then move our focus towards PFT’s, and investigate new properties of PFT’s from various perspectives. We define three types of periods that can be associated with a PFT and do pairwise comparisons between them. Also, we consider the zeta function of a PFT, which is a generating function for the number of periodic sequences in the PFT, and present a simple formula to compute the zeta function of a PFT.
Description: Thesis (Ph.D, Mathematics & Statistics) -- Queen's University, 2009-08-08 14:08:36.876
URI: http://hdl.handle.net/1974/2584
Appears in Collections:Queen's Theses & Dissertations
Mathematics & Statistics Graduate Theses

Items in QSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


  DSpace Software Copyright © 2002-2008  The DSpace Foundation - TOP