Author:Ngassam, EK; Watson, BW; Kourie, DGDate:Aug 2010With this poster, the authors on the denotational semantics of algorithms to suggest an abstraction of a string recognizer. The abstraction provides a unified formalism for representing FA-based string recognizers as an instance of a parameterized ...Read more