Observe that the result of an edge

Observe that the result of an edge addition is not defined if the addition of the required edges would yield different
edges with the same label and leaving the same node, and that either are functional or arrive in nodes with different
labels. Unfortunately, given an arbitrary GOOD program, i.e., a sequence of GOOD operations, statically checking
the “consistency” of an edge addition in the program is undecidable in general, as can be shown using results from [11,
[ 2 2 ] .So, in general, some limited run-time checks have to be performed. In practice, one can always construct a program in such a way that the edge additions are guaranteed to succeed.

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

สังเกตว่า ผลของการเพิ่มขอบไม่กำหนดถ้าเพิ่มขอบต้องจะผลผลิตแตกต่างกันขอบป้ายชื่อเดียวกันและออกจากโหนดเดียวกัน และที่จะทำงาน หรือถึงโหนพร้อมป้ายชื่อ อับ ให้โปรแกรมดีกำหนด เช่น ลำดับของการดำเนินที่ดี การฟิกแบบคงที่ตรวจสอบความ "สอดคล้อง" ของเพิ่มขอบในโปรแกรมจะ undecidable ทั่วไป สามารถแสดงได้โดยใช้ผลจาก [11[2 2] อื่น ๆ ทั่วไป เช็คบางรันไทม์จำกัดได้ดำเนินการ ในทางปฏิบัติ หนึ่งสามารถจะสร้างโปรแกรมดังกล่าวในลักษณะที่มีรับประกันเพิ่มขอบจะประสบความสำเร็จได้

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

สังเกตว่าผลของการเติมขอบไม่ได้ถูกกำหนดถ้านอกเหนือจากขอบที่ต้องการจะให้ผลผลิตที่แตกต่างกันขอบที่มีป้ายข้อความเดียวกันและออกจากโหนดเดียวกันและที่มีการทำงานอย่างใดอย่างหนึ่งหรือประสบความสำเร็จในโหนดที่แตกต่างกันกับป้าย แต่น่าเสียดายที่ได้รับโปรแกรมที่ดีโดยพลการเช่นลำดับของการดำเนินที่ดีเป็นแบบคงที่การตรวจสอบว่า "ความมั่นคง" ของนอกจากนี้ขอบในโปรแกรมที่เป็น undecidable ทั่วไปที่สามารถแสดงให้เห็นถึงผลที่ได้จากการใช้ [11, [2 2] ดังนั้น โดยทั่วไปการตรวจสอบบางเวลาทำงาน จำกัด จะต้องมีการดำเนินการ ในทางปฏิบัติอย่างใดอย่างหนึ่งสามารถสร้างโปรแกรมในลักษณะที่เพิ่มขอบมีการรับประกันที่จะประสบความสำเร็จ

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

สังเกตว่าผลขอบนอกจากไม่นิยามถ้าเพิ่มขอบต้องเพิ่มขอบแตกต่างกัน
ด้วยป้ายเดียวกันและออกจากโหนดเดียวกัน และให้มีการทำงาน หรือถึงจุดที่มีป้ายชื่อที่แตกต่าง

แต่น่าเสียดายที่ให้เปิดโปรแกรมที่ดี คือ ลำดับของการดำเนินงานที่ดี ส่วนการตรวจสอบ
" ความมั่นคง " ของขอบนอกจากนี้ในโปรแกรม undecidable ทั่วไป ที่สามารถแสดงผลการใช้งานจาก [ 11
[ 1 2 ] ดังนั้น โดยทั่วไป มีการตรวจสอบระยะเวลา จำกัด ต้องถูกดำเนินการ ในทางปฏิบัติหนึ่งสามารถสร้างโปรแกรมในลักษณะที่ขอบภาพจะรับประกันความสำเร็จ