抽象语法子类型子类型是由限制父类型的值集合而导出的类型，所以子类型的值集合是父类型的子集

子类型还可以产生子类型

产生子类型的方法有以下6种

1．单个值（Single Value） ：列出子类型可取的各个值

2．值区间（Value Range） ：这种方法只能用于整数和实数，指出子类型可取的区间

3．允许字符（Permitted Alphabet） ：允许字符只能用于字符串类型，限制字符集的取值范围

4．限制大小（Size Constrained） ：可以限制5种类型（BIT STRING，OCTET STRING，CHARACTER STRING，SEQUENCEOF，SET OF）的规模大小

5．包含子类型（Contained Subtype） ：从已有的子类型定义新的子类型，新子类型包含原子类型的全部可能的值

用关键字INCLUDES，说明被定义的类型包含了已有类型的所有的值

6．内部子类型（Inner Subtype） ：适用于SEQUENCE，SEQUENCE OF，SET，SET OF和CHOICE类型，主要用于对这些结构类型的元素项进行限制

以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。