DFA（确定性有限状态自动机）是一个有向图，顶点称为状态，边称为转移。每个转移用一个字母标记。对于每个状态 和每个转移 ，至多有一个转移从 出发且标记为 。DFA 有一个初始状态和若干个结束状态。DFA 定义的语言的单词可以由从开始状态到结束状态的路径上所有的字母连接起来。
图中表示一个语言（包括单词 fix、foo、ox）的 DFA。第一个 DFA 有 个状态，它不是最优的。第二个 DFA 定义的是同一个语言，但只有 个状态。
给定一个语言，包含有限个单词，求出定义该语言的 DFA 的最少状态数。
