समानता के प्रकार पर समानता decidable है?

Question

यह मेरी पहली पोस्ट है, क्षमा करें अगर मैंने गलतियां की हैं।

मुझे संदेह है कि, कोक में, स्ट्रीम जैसे संयोजक प्रकारों में निर्णायक समानता नहीं है। यही है, दो धाराओं और टी को देखते हुए, यह संभव नहीं है कि एस = टी या ~ (एस = टी) है या नहीं। मुझे संदेह है कि यह कोक में सभी संयोजक प्रकारों के बारे में सच है।

एक त्वरित Google और स्टैक एक्सचेंज के माध्यम से खोज कोई पुष्टि प्रकट नहीं करता है। क्या कोई इसे पुष्टि कर सकता है या मुझे सही कर सकता है?

Answer 1

मुझे लगता है कि आप सही हैं। मेरे सबसे अच्छे ज्ञान के लिए, आप दो धाराओं के बराबर होने के लिए इसका अर्थ यह भी सही ढंग से नहीं बता सकते हैं, क्योंकि इसका मतलब यह होगा कि आप उन्हें सीमित समय में देख सकते हैं, लेकिन वे अनंत शब्द हैं।

तुम कर सकते हो क्या, राज्य है कि किसी भी परिमित अपने सह-आगमनात्मक शर्तों के निरीक्षण के ही हैं, या बहुत पसंद यह मानक पुस्तकालय में किया जाता है एक "सह-आगमनात्मक" समानता की धारणा को परिभाषित, यह है:

https://coq.inria.fr/library/Coq.Lists.Streams.html