2.5 有限狀態機

可以用有限狀態機實現模糊查詢。例如，查找編輯距離相似的單詞。

org.apache.lucene.util.automaton包含有限狀態機的實現。BasicAutomata.makeChar()方法生成接收單個字符的自動機。

        Automaton a = BasicAutomata.makeChar('W'); //創建一個字符W組成的自動機

如果從同一個狀態接收同樣的輸入后可以任意到達多個不同的狀態，這樣的有限狀態機叫作非確定有限狀態機。如果從一個狀態接收一個輸入后只能到達某一個狀態，這樣的有限狀態機叫作確定有限狀態機。上面的有限狀態機a是一個確定的有限狀態機。

可以用BasicOperations.run方法測試自動機是否能夠接收輸入字符串。

        System.out.println(BasicOperations.run(a, "W")); //輸出true