Matteo Vaccari

Learn More
We present a derivation of a regular language recognizing circuit originally developed by Foster and Kung 4]. We make use of point-free relation algebra, in a style combining elements from earlier work in the Eindhoven Mathematics of Program Construction group 0], and from Ruby 6]. First we derive non-systolic recognizers, much in the same way as functional(More)
  • 1