An efficient null-free procedure for deciding regular language membership
1998 ◽
pp. 159-170
◽
2000 ◽
Vol 231
(1)
◽
pp. 89-101
◽
2011 ◽
Vol 18
(5)
◽
pp. 771-781
◽
2017 ◽
Vol 101
◽
pp. 132-140
◽
Keyword(s):