Figure A.4 Mealy Machine Specification-2