Definition
Stuck Program Configuration
A stuck program configuration is a non-final program configuration with no successor configuration.
Formally, a configuration
is stuck if there is no such that A stuck configuration indicates that the program aborts or cannot continue.