类型检查中的正则表达式相交判定与包含判定的任务书

类型检查中的正则表达式相交判定与包含判定的任务书任务书背景：在类型检查中，需要对程序中的正则表达式进行判断，判断是否满足需求。其中，常见的两个任务是正则表达式的相交判定和包含判定。这两个任务都是较为常