forσ= {a，b，c，d，e，...，z}，考虑w的集合l，使得W的最后一个符号未出现在之前。例如，Apple，Google，K和ε在L中含有L，但是土豆和营养单词不在L中。假设我们想为此语言构建DFA。它将拥有多少个州（最少）？简洁地描述DFA：不要尝试绘制它，而是使用合适的数学符号来解释其形式定义（例如状态和过渡）。
我不需要整个定义，只是关于它将拥有多少个状态以及原因的开始。从那里我可以弄清楚。
一些提示：
-
您将需要每个可能的子集的一个状态；这样您就可以跟踪到目前为止看到的角色。
-
对于＆sigma的每个子集;，您需要另一个状态来表示"这组字符，最后一个字符恰好在集合中。"
我将把其余的细节留给您，您必须考虑如何正式证明这是正确的。
希望这会有所帮助！