DFAにもとづく正規表現API