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 ...