เป็นไปได้ไหมที่จะคำนวณว่าทั้งสองฟังก์ชั่นมีความเท่าเทียมกันหรือไม่?
หากคุณมีสองฟังก์ชั่นที่ใช้อัลกอริธึมการเรียงลำดับที่แตกต่างกันเป็นไปได้หรือไม่ที่จะอนุมานโดยซอร์สโค้ดที่ทั้งสองมีคุณสมบัติภายนอกเหมือนกัน หมายความว่าพวกเขาทั้งสองจะมีลำดับไม่ได้เรียงเป็นไปได้ของพวกเขาและมีลำดับเรียงเป็นผลลัพธ์ของพวกเขา คุณสมบัติภายนอกเหล่านี้จะถูกกำหนดโดยซอร์สโค้ดอย่างไร? และคุณจะอธิบายคุณสมบัติภายนอกเหล่านี้ได้อย่างไร จะใช้สัญลักษณ์อะไร? คุณสมบัติภายนอกสามารถทำให้ทราบได้โดยการกำหนดอย่างชัดเจนตัวอย่างเช่นภายในระบบพิมพ์ แต่ฉันสงสัยว่าสิ่งนี้สามารถทำได้โดยปริยาย หรือเป็นไปไม่ได้ในทางทฤษฎีที่จะอนุมานความหมายเช่นนี้? ฉันสนใจว่าสิ่งนี้เป็นไปได้สำหรับฟังก์ชั่นใด ๆ หรือไม่สำหรับการเรียงลำดับอัลกอริธึมโดยสมมติว่าสิ่งต่าง ๆ เช่นฟังก์ชั่นจะหยุดและไม่มีผลข้างเคียง ฉันควรดูความหมายเชิง Denotational หรือไม่เกี่ยวข้อง? ฉันสนใจพอยน์เตอร์เพื่อทำการวิจัยในพื้นที่นี้และคำต่างๆที่ใช้อธิบายเรื่องที่อาจช่วยในการค้นหาวรรณกรรมของฉัน