In this paper the ISO & CCITT formal description techniques will be introduced.

• 本篇文章中,将介绍ISO和CCITT的形式描述技术。