Browsing Honours Theses by Author "Konstantinidis, Stavros"

Browsing Honours Theses by Author "Konstantinidis, Stavros"

Sort by: Order: Results:

  • Thumbnail
    Deciding rational property definitions 
    Rafuse, Matthew David (Halifax, N.S. : Saint Mary's University, 2019)
    Language Equations is an area of Theoretical Computer Science that is concerned with expressing desirable constraints on formal languages of interest and answering algorithmic problems about such languages. Language Equations ...

  • Thumbnail
    The practical efficiency of regular expression membership algorithms 
    Gray, Justin P. (Halifax, N.S. : Saint Mary's University, 2022-04-28)
    Regular expressions encode text patterns and define languages of symbolic words. The membership problem decides if a given word is an element of the language described by a given regular expression. This problem has various ...

  • Thumbnail
    Regular languages, property satisfiability, and shortcuts 
    Melanson, Patrick (Halifax, N.S. : Saint Mary's University, 2021)
    The Language Server (LaSer ) is a website created to ask and answer various questions pertaining to regular languages. One of its main features is testing property satisfiability, that is, does a given regular language ...