Abstract: A logic synthesis for finite-state machines (FSMs) aimed at programmable array logic (PAL)-based complex programmable ... and a precise algorithm are illustrated by means of simple examples.