- Home
- →
- Theses & Dissertations
- →
- Masters Theses
- →
- Browsing Masters Theses by Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Masters Theses by Subject "Formal languages"
Now showing items 1-4 of 4
-
(Halifax, N.S. : Saint Mary's University, 2012)In this research, we investigate, refine, and implement algorithmic tools that allow us to answer decision questions about regular languages. We provide a thorough presentation of existing algorithmic tools to answer the ...
-
(Halifax, N.S. : Saint Mary's University, 2011)The property of error-detection ensures that when words of a language are communicated over a noisy channel, no word of the language can be transformed into another word of the language. The newer concept of maximal ...
-
(Halifax, N.S. : Saint Mary's University, 2007)In DNA computing, information is encoded onto DNA sequences. The DNA codes in the form of single-stranded DNA sequences are not stable. This is because when two single-stranded DNA sequences, used to carry data, have ...
-
(Halifax, N.S. : Saint Mary's University, 2011)We present a formal method for describing and deciding code related properties of regular languages using input altering transducers. We also provide an implementation of that method in the form of a web application. We ...
Now showing items 1-4 of 4