1. For many imperative programming languages, the control flow of a program is explicit in a program's source code.

Для многих языков граф потока управления явно прослеживается в исходном коде программы.