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-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 programs are derived. Then we make use of standard circuit(More)
  • 1