表示数值的字符串：DFA解法

public class Solution {
    // 方法1:使用编译原理中的确定有穷自动机DFA(Deterministic finite automation)
    // 思路:先确定可能输入的符号集合,并进行分类,如符号位(+/-),数字(0-9)等.然后根据
    // 不同的类型的符号作为输入,记录状态的变化,并将变化的状态总结成状态矩阵,矩阵类型
    // 为char[][].
    // PS:此方法的时间复杂度(时间消耗)和空间复杂度都是最低的,但是缺点在于针对不同的
    // 输入符号集就需要构建不同状态转换矩阵,在解题时实际上准备工作是非常耗时的,而且
    // 在进行DFA化简时,也很容易遗漏或者合并错误状态,导致矩阵错误.如"-.123"等特例,
    // 在本题中可能符合要求,也可能不符合要求,因此存在歧义.在牛客中"-.123",".123"
    // 也是属于数字,即需要返回True(真的无法理解为啥)
    // 时间复杂度:O(n),空间复杂度:O(1)
    private char[][] stateMatrix = new char[][]{
        // [+,-],[E,e],[0-9],[.],[&],[Other]
        // PS:&表示字符串结尾,T表示满足数字规定格式,F表示不满足数字规定格式,其他字
        // 符都不在接收范围内,遇到时直接返回False
        {'1', 'F', '2', '4', 'F'},
        {'F', 'F', '2', '4', 'F'},
        {'F', '3', '2', '4', 'T'},
        {'5', 'F', '6', 'F', 'F'},
        {'F', 'F', '7', 'F', 'F'},
        {'F', 'F', '6', 'F', 'F'},
        {'F', 'F', '6', 'F', 'T'},
        {'F', '3', '7', 'F', 'T'}
    };

    public boolean isNumeric(char[] str) {
        // 排除特殊边界条件的情况
        if (str == null || str.length == 0) return false;
        // 遍历字符数组中的每个字符,并匹配字符类型,同时转换状态
        char state = '0';
        int stateIndex = 0;
        for (char c : str) {
            stateIndex = state - '0';
            if (c == '+' || c == '-') state = stateMatrix[stateIndex][0];
            else if (c == 'E' || c == 'e') state = stateMatrix[stateIndex][1];
            else if (c >= '0' && c <= '9') state = stateMatrix[stateIndex][2];
            else if (c == '.') state = stateMatrix[stateIndex][3];
            else return false;// 若接收到意外字符,则直接返回False
            // 如果在遍历结束之前已经判断出为False,则直接返回
            if (state == 'F') return false;
        }
        // 遍历结束,直接返回最终结果
        // PS:正确的字符总要遍历到结尾,错误的字符在遍历过程中间和遍历结束时都需要判断
        return stateMatrix[state - '0'][4] == 'T';
    }
}