劍指offer：正則表達(dá)式匹配

題目描述
請(qǐng)實(shí)現(xiàn)一個(gè)函數(shù)用來(lái)匹配包括'.'和''的正則表達(dá)式。模式中的字符'.'表示任意一個(gè)字符，而''表示它前面的字符可以出現(xiàn)任意次（包含0次）。 在本題中，匹配是指字符串的所有字符匹配整個(gè)模式。例如，字符串"aaa"與模式"a.a"和"abaca"匹配，但是與"aa.a"和"ab*a"均不匹配

class Solution:
    def match(self, s, pattern):
        """
        :param s: 輸入字符串
        :param pattern: 待匹配的正則pattern
        :return: 是否能匹配
        """
        def helper(cur_s, cur_pattern):
            # 兩個(gè)都為空，匹配成功
            if not cur_s and not cur_pattern:
                return True
            # 如果cur_s不空而cur_pattern為空，匹配失敗
            # 注意如果cur_s為空而cur_pattern不空，有可能匹配成功。如'', '.*'匹配成功
            if cur_s and not cur_pattern:
                return False

            # 如果當(dāng)前pattern的第二個(gè)字符是*
            if len(cur_pattern) > 1 and cur_pattern[1] == '*':
                # 如果cur_s不空
                if cur_s:
                    # *的前一個(gè)字符可以匹配
                    if cur_s[0] == cur_pattern[0] or cur_pattern[0] == '.':
                        return (helper(cur_s[1:], cur_pattern)  # 匹配盡可能多個(gè)
                                or helper(cur_s[1:], cur_pattern[2:])  # 匹配1個(gè)
                                or helper(cur_s, cur_pattern[2:]))  # 匹配0個(gè)
                    # *的前一個(gè)字符匹配失敗，跳過(guò)*
                    else:
                        return helper(cur_s, cur_pattern[2:])
                # cur_s為空，跳過(guò)*
                else:
                    return helper(cur_s, cur_pattern[2:])
            else:
                # 如果當(dāng)前pattern的第一個(gè)字符就是*，跳過(guò)這個(gè)*
                if cur_pattern and cur_pattern[0] == '*':
                    return helper(cur_s, cur_pattern[1:])
                # 否則判斷cur_s和cur_pattern的第一個(gè)字符能否匹配
                if cur_s:
                    if cur_s[0] == cur_pattern[0] or cur_pattern[0] == '.':
                        return helper(cur_s[1:], cur_pattern[1:])
                    else:
                        return False
                # 如果cur_s為空，但是cur_pattern的前兩個(gè)字符中沒有*，說(shuō)明不可能匹配
                else:
                    return False

        return helper(s, pattern)