The combination of the language definition, a program, and the program's inputs must fully specify the external behavior that occurs when the program is executed, within the domain of control of that program.
Комбинацијата на дефиниција на јазикот, програма, и влезови на програмата во целост мора да го наведе надворешното однесување што се јавува кога програмата се извршува, во доменот на контролата на таа програма.