Year

2020

Season

Summer

Paper Type

Master's Thesis

College

College of Arts and Sciences

Degree Name

Master of Science in Mathematical Sciences (MS)

Department

Mathematics & Statistics

NACO controlled Corporate Body

University of North Florida. Department of Mathematics and Statistics

Committee Chairperson

Dr. Daniela Genova

Second Advisor

Dr. Michelle DeDeo

Rights Statement

http://rightsstatements.org/vocab/InC/1.0/

Third Advisor

Dr. Jae-Ho Lee

Department Chair

Dr. Richard Patterson

College Dean

Dr. George Rainbolt

Abstract

Characterizing languages D that are maximal with the property that D* ⊆ S is an important problem in formal language theory with applications to coding theory and DNA codewords. Given a finite set of words of a fixed length S, the constraint, we consider its subword closure, S, the set of words whose subwords of that fixed length are all in the constraint. We investigate these maximal languages and present characterizations for them. These characterizations use strongly connected components of deterministic finite automata and lead to polynomial time algorithms for generating such languages. We prove that the subword closure S is strictly locally testable. Finally, we discuss applications to coding theory and encoding arbitrary blocks of information on DNA strands. This leads to very important applications in DNA codewords designed to obtain bond-free languages, which have been experimentally confirmed.

Share

COinS
 

Accessibility Statement

This item was created or digitized before April 24, 2027, or is a reproduction of legacy material created before that date. It is preserved in its original, unmodified state specifically for research, reference, or historical recordkeeping. In accordance with the ADA Title II Final Rule, the Library provides accessible versions of archival materials by request. If you are experiencing difficulty accessing the information on the site due to a disability, please submit a request through the following form for assistance.