With the advent of digital computers, several prominent problems of digital circuit design emerged. A particular  elementary  class  of  these  problems,  (called  Type-2  problems)  can  be  divided  into  two subclasses depending on whether an honest translator is possible or a sneaky translator is warranted. The case of an honest...