Browsing Theses & Dissertations by Subject "QA267.3"

Now showing items 1-2 of 2

Application and implementation of transducer tools in answering certain questions about regular languages

Yang, Meng (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 ...
A system for describing and deciding properties of regular languages using input altering transducers

Dudzinski, Krystian (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 ...

Search DSpace