Package 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	Description
DFAEquivalenceChecker()

Method Summary

Modifier and Type	Method	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 Details

DFAEquivalenceChecker

public DFAEquivalenceChecker()

Method Details

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