To prove that anarbitrary HP progr

To prove that an
arbitrary HP program has the disentanglement property, we first
show that a well-typed program never gets stuck.

ผลลัพธ์ (ไทย) 1:

จะพิสูจน์ว่าการโปรแกรม HP โดยอำเภอใจมีคุณสมบัติ disentanglement เราครั้งแรกแสดงว่า โปรแกรมพิมพ์ดีไม่ค้าง

ผลลัพธ์ (ไทย) 2:

เพื่อพิสูจน์ว่า
พล? โปรแกรม HP มีคุณสมบัติคลี่คลายครั้งแรกที่เรา
แสดงให้เห็นว่าเป็นโปรแกรมที่ดีพิมพ์ไม่เคยได้รับการติด

ผลลัพธ์ (ไทย) 3:

เพื่อพิสูจน์ว่าโปรแกรม HP โดยพลการได้บนบานที่ดิน เราก่อนแสดงให้เห็นว่าโปรแกรมแล้วพิมพ์ไม่ติด