%0 Journal Article
%T 关于一个串为正则语言中某串的子串的判定算法
%A 庄雷
%J -
%D 1993
%X 本文给出一个判定∑上的任意串s是否为一正则语言L中某个串的子串的算法,即设s为∑上的任一串,L是∑上的任一正则语言,则s为L中某个串的子串,当且仅当s为集合Vn={w∈∑|w∈L,|w|≤2n+k-2}中某串的子串,其中k=|s|,n是某个自然数
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19930510&flag=1