વિવિધ સ્વરૂપમાં સ્પેસિફીકેશન ઉદાહરણ તરીકે, બુલિયન સમીકરણો સ્પેસીફિકેશન હોય શકે, ટ્રુથ ટેબલ , ફાઇનાઇટ સ્ટેટ મશીન અને વગેરે હોઈ શકે છે.
பல்வேறு வடிவத்தில் உள்ள விவரக்குறிப்புகள், பூலியன் சமன்பாடுகள் விவரக்குறிப்புகள், உண்மை அட்டவணைகள், பைநைட் ஸ்டேட் மிஷின்ஸ் மற்றும் பலவாக இருக்கலாம்.