基于规则推导的正规式相交判定算法

基于规则推导的正规式相交判定算法

刘嘉，廖湖声

Intersection Checking for Regular Expressions Based on Inference System

LIU Jia, LIAO Husheng

计算机科学与探索 . 2015, (1): 43 -50 . DOI: 10.3778/j.issn.1673-9418.1407042