Minimal Presentations of Sofic Shifts and Properties of Periodic-Finite-Type Shifts
MetadataShow full item record
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.
URI for this recordhttp://hdl.handle.net/1974/2584
Request an alternative formatIf you require this document in an alternate, accessible format, please contact the Queen's Adaptive Technology Centre
Showing items related by title, author, creator and subject.
Aliyari Ghassabeh, Youness (2013-10-01)Mean shift (MS) and subspace constrained mean shift (SCMS) algorithms are non-parametric, iterative methods to find a representation of a high dimensional data set on a principal curve or surface embedded in a high ...
The influence of work patterns on lifestyle behaviours and cardiovascular risk in female hospital workers Kirk, Megan (2009-09-26)BACKGROUND: The prevalence and burden of cardiovascular disease (CVD) is a concern. While CVD events will occur later in a woman’s life, modifiable risk factors for CVD occur earlier during adult years. While, there is ...
Hung, Eleanor (2015-09-12)Background: Shift work is associated with an increased risk for cardiovascular diseases (CVD). This thesis focuses on the potential disruption of cortisol production by shift work, a proposed underlying pathway to ...