问题的关键不在于状态数量
而在于我之前说的那个帖子里提到的

【 在 Barbarossa 的大作中提到: 】
: 这状态是可以定量分析的，状态数量对应商的大小啊，这是教科书上的例子
--
FROM 183.212.112.*