40.03/40.19	NO
40.03/40.19	
40.03/40.19	Problem 1: 
40.03/40.19	
40.03/40.19	(VAR v_NonEmpty:S x:S y:S)
40.03/40.19	(RULES
40.03/40.19	pin(x:S) -> pout(f(y:S)) | pin(x:S) ->* pout(g(y:S))
40.03/40.19	pin(x:S) -> pout(g(x:S))
40.03/40.19	)
40.03/40.19	
40.03/40.19	Problem 1: 
40.03/40.19	Valid CTRS Processor:
40.03/40.19	-> Rules:
40.03/40.19	 pin(x:S) -> pout(f(y:S)) | pin(x:S) ->* pout(g(y:S))
40.03/40.19	 pin(x:S) -> pout(g(x:S))
40.03/40.19	-> The system is a deterministic 3-CTRS.
40.03/40.19	
40.03/40.19	Problem 1: 
40.03/40.19	
40.03/40.19	Dependency Pairs Processor:
40.03/40.19	
40.03/40.19	Conditional Termination Problem 1:
40.03/40.19	-> Pairs:
40.03/40.19	 Empty
40.03/40.19	-> QPairs:
40.03/40.19	 Empty
40.03/40.19	-> Rules:
40.03/40.19	 pin(x:S) -> pout(f(y:S)) | pin(x:S) ->* pout(g(y:S))
40.03/40.19	 pin(x:S) -> pout(g(x:S))
40.03/40.19	
40.03/40.19	Conditional Termination Problem 2:
40.03/40.19	-> Pairs:
40.03/40.19	 PIN(x:S) -> PIN(x:S)
40.03/40.19	-> QPairs:
40.03/40.19	 Empty
40.03/40.19	-> Rules:
40.03/40.19	 pin(x:S) -> pout(f(y:S)) | pin(x:S) ->* pout(g(y:S))
40.03/40.19	 pin(x:S) -> pout(g(x:S))
40.03/40.19	
40.03/40.19	Problem 1: 
40.03/40.19	
40.03/40.19	SCC Processor:
40.03/40.19	-> Pairs:
40.03/40.19	 PIN(x:S) -> PIN(x:S)
40.03/40.19	-> QPairs:
40.03/40.19	 Empty
40.03/40.19	-> Rules:
40.03/40.19	 pin(x:S) -> pout(f(y:S)) | pin(x:S) ->* pout(g(y:S))
40.03/40.19	 pin(x:S) -> pout(g(x:S))
40.03/40.19	->Strongly Connected Components:
40.03/40.19	->->Cycle:
40.03/40.19	->->-> Pairs:
40.03/40.19	 PIN(x:S) -> PIN(x:S)
40.03/40.19	-> QPairs:
40.03/40.19	 Empty
40.03/40.19	->->-> Rules:
40.03/40.19	 pin(x:S) -> pout(f(y:S)) | pin(x:S) ->* pout(g(y:S))
40.03/40.19	 pin(x:S) -> pout(g(x:S))
40.03/40.19	
40.03/40.19	Problem 1: 
40.03/40.19	
40.03/40.19	Infinite Processor:
40.03/40.19	-> Pairs:
40.03/40.19	 PIN(x:S) -> PIN(x:S)
40.03/40.19	-> QPairs:
40.03/40.19	 Empty
40.03/40.19	-> Rules:
40.03/40.19	 pin(x:S) -> pout(f(y:S)) | pin(x:S) ->* pout(g(y:S))
40.03/40.19	 pin(x:S) -> pout(g(x:S))
40.03/40.19	-> Pairs in cycle:
40.03/40.19	 PIN(x:S) -> PIN(x:S)
40.03/40.19	
40.03/40.19	The problem is infinite.
40.13/40.19	EOF