Abstract

The ultimate measure of the behavior that a finite string input specifies to its simulating termination analyzer (STA) is DD simulated by HHH according to the semantics of the C programming language. When HHH(DD) is construed as operating under operational semantics it rejects DD as non-well-founded.