Eureka step

Eureka step

In program transformation, a transformation which is not obvious or easy to define as an algorithm.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)