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