leetcode 8. 字符串转换整数 (atoi)

leetcode 8. 字符串转换整数 (atoi)
题目：
请你来实现一个 myAtoi(string s) 函数，使其能将字符串转换成一个 32 位有符号整数（类似 C/C++ 中的 atoi 函数）。
函数 myAtoi(string s) 的算法如下：
读入字符串并丢弃无用的前导空格
检查下一个字符（假设还未到字符末尾）为正还是负号，读取该字符（如果有）。 确定最终结果是负数还是正数。 如果两者都不存在，则假定结果为正。
读入下一个字符，直到到达下一个非数字字符或到达输入的结尾。字符串的其余部分将被忽略。
将前面步骤读入的这些数字转换为整数（即，“123” -> 123， “0032” -> 32）。如果没有读入数字，则整数为 0 。必要时更改符号（从步骤 2 开始）。
如果整数数超过 32 位有符号整数范围 [−231, 231 − 1] ，需要截断这个整数，使其保持在这个范围内。具体来说，小于 −231 的整数应该被固定为 −231 ，大于 231 − 1 的整数应该被固定为 231 − 1 。
返回整数作为最终结果。
注意：
本题中的空白字符只包括空格字符 ’ ’ 。
除前导空格或数字后的其余字符串外，请勿忽略 任何其他字符。

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/string-to-integer-atoi
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

本题需要判定的条件很多，若未经思索直接写代码会出现很多臃肿代码，极容易对边界条件考虑不清楚。 因为本题采用自动机的方式解决。

计算机控制系统的控制程序具有有限状态自动机（FA）的特征，可以用有限状态机理论来描述。有限自动机（Finite
AutomataMachine）是计算机科学的重要基石，它在软件开发领域内通常被称作有限状态机（Finite State
Machine），是一种应用非常广泛的软件设计模式。 自动机是有限状态机(FSM)的数学模型。 [1]
FSM是给定符号输入，依据(可表达为一个表格的)转移函数“跳转”过一系列状态的一种机器。在常见的
FSM的“Mealy”变体中，这个转移函数告诉自动机给定当前状态和当前字符的时候下一个状态是什么。逐个读取输入中的符号，直到被完全耗尽(把它当作有一个字写在其上的磁带，通过自动机的读磁头来读取它；磁头在磁带上前行移动，一次读一个符号)。一旦输入被耗尽，自动机被称为“停止”了。
依赖自动机停止时的状态，称呼这个自动机要么是“接受”要么“拒绝”这个输入。如果停止于“接受状态”，则自动机“接受”了这个字。在另一方面，如果它停止于“拒绝状态”，则这个字被“拒绝”。自动机接受的所有字的集合被称为“这个自动机接受的语言”。
原来是模仿人和动物的行动而做成的机器人的意思。但是现已被抽象化为如下的机器。时间是离散的（t=0，1，2……），在每一个时刻它处于所存在的有限个内部状态中的一个。对每一个时刻给予有限个输入中的一个。那么下一个时刻的内部状态就由现在的输入和现在的内部状态所决定。每个时刻的输出只由那个时刻的内部状态所决定。作为自动机的例子可以举出由McCulloch-pitts的神经模型组合所得到的神经网络模型、数字计算机等。

本题现有的状态为：
1.读入字符串并丢弃无用的前导空格，记为状态start
2.检查下一个字符（假设还未到字符末尾）为正还是负号，读取该字符（如果有）。 确定最终结果是负数还是正数。 如果两者都不存在，则假定结果为正。记为状态signed
3.若下一个字符为数字，则读取数字直到出现非数字，记为状态in_number
4.若在signed后或者in_number后出现的是非数字，则立即结束，记为状态end

则状态的演化可以表示为

具体实现代码如下：

class Automaton 
{
	string state = "start";
	//使用hash表来定义状态key为当前的状态，值为vector数组维护key状态后可能出现的状态，
	//在get_col中判定接哪个状态
	unordered_map<string, vector<string>>table =
	{
	{"start",{"start","signed","in_number","end"}},
	{"signed",{"end","end","in_number","end"}},
	{"in_number",{"end","end","in_number","end"}},
	{"end",{"end","end","end","end"}}
	};

	//状态机判定
	int get_col(char c) 
	{
		//4个状态，0123分别代替"start","signed","in_number","end"
		if (isspace(c)) return 0;
		if (c == '+' or c == '-') return 1;
		if (isdigit(c)) return 2;
		return 3;
	}

public:
	//储存结果的正负
	int sign = 1;
	//定义一个长整型来接收大于INT_MAX值的量
	long long ans = 0;

	void get(char c) 
	{
		//第一个中括号填入的是当前状态的key值，返回一个vector后续状态数组，在使用get_col()指向接下来的状态
		state = table[state][get_col(c)];
		if (state == "in_number")
		{
			ans = ans * 10 + c - '0';
			ans = sign == 1 ? min(ans, (long long)INT_MAX) : min(ans, -(long long)INT_MIN);
		}
		else if (state == "signed")
			sign = c == '+' ? 1 : -1;
	}

};

class Solution {
public:
	int myAtoi(string str) 
	{
		Automaton automaton;
		for (char c : str)
			automaton.get(c);
		return automaton.sign * automaton.ans;
	}
};