0.54/0.60	NO
0.54/0.60	
0.54/0.60	Problem:
0.54/0.60	 f(f(x)) -> g(x)
0.54/0.60	
0.54/0.60	Proof:
0.54/0.60	 Nonconfluence Processor:
0.54/0.60	  terms: f(g(f2())) *<- f(f(f(f2()))) ->* g(f(f2()))
0.54/0.60	  Qed
0.54/0.60	  
0.54/0.60	  first automaton:
0.54/0.60	   final states: {1}
0.54/0.60	   transitions:
0.54/0.60	    f(3) -> 1*
0.54/0.60	    g(2) -> 3*
0.54/0.60	    f2() -> 2*
0.54/0.60	  
0.54/0.60	  second automaton:
0.54/0.60	   final states: {4}
0.54/0.60	   transitions:
0.54/0.60	    f(5) -> 6*
0.54/0.60	    g(6) -> 4*
0.54/0.60	    f2() -> 5*
0.54/0.61	EOF