If a correct execution trace of a p

If a correct execution trace of a program is observed then all prefixes
of that trace must also have been correct. This property is formalized in
Def. 10 as prefix closed language

Kết quả (Việt) 1:

Nếu một dấu vết thực hiện chính xác của một chương trình được quan sát thấy sau đó tất cả tiền tốmà theo dõi phải cũng đã được chính xác. Tài sản này được chính thức hóa trongDef. 10 như tiền tố đóng cửa ngôn ngữ

Kết quả (Việt) 2:

Nếu một dấu vết thực hiện chính xác của một chương trình được quan sát sau đó tất cả các tiền tố
của dấu vết mà cũng phải có được chính xác. Khách sạn này được hình thành trong
Def. 10 như tiền tố ngôn ngữ khép kín