qilin.pta.toolkits.mahjong.automata

Class DFAEquivalenceChecker

java.lang.Object

qilin.pta.toolkits.mahjong.automata.DFAEquivalenceChecker

public class DFAEquivalenceChecker
extends Object

Author:

Tian Tan, Yue Li

Constructor Summary

Constructors

Constructor and Description
DFAEquivalenceChecker()

Method Summary

Modifier and Type	Method and Description
boolean	isEquivalent(DFA dfa1, DFA dfa2) Check the equivalence of input automata by Hopcroft-Karp algorithm with minor modifications.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DFAEquivalenceChecker

public DFAEquivalenceChecker()

Method Detail

isEquivalent

public boolean isEquivalent(DFA dfa1,
                            DFA dfa2)

Check the equivalence of input automata by Hopcroft-Karp algorithm with minor modifications.

Parameters:

dfa1 -

dfa2 -

Returns:

whether dfa1 and dfa2 are equivalent