क्या

परिभाषित भाषाओं के वर्ग है कि एक (multitape) द्वारा स्वीकार किया जा सकता है के रूप में में टाइम मशीन ट्यूरिंग । ( " वहाँ कोई है सूचना है कि" सिर्फ सरल संकेतन और से बचने के भ्रम की स्थिति है।) के आसपास । $\mathsf{DTIME}(f(n))$ $f(n) + 1$ $+ 1$ $O(\cdot)$ $f(n) + 1$

क्या यह सच है कि ? $\mathsf{DTIME}(n) = \mathsf{DTIME}(2n)$

रैखिक गति-अप प्रमेय का उपयोग करते हुए , हम सिद्ध कर सकते हैं , लेकिन क्या हम तक पहुँच सकते हैं ? $\mathsf{DTIME}(2n) = \mathsf{DTIME}(1.01n)$ $n$

ऐसा लगता है कि palindromes की भाषा ; संबंधित विषयों के लिए, लिप्टन के ब्लॉग को स्ट्रिंग एल्गोरिदम के बारे में देखें $\mathsf{DTIME}(n)$

— domotorp
स्रोत

"में रीयल-टाइम और रैखिक समय के बीच सीमा में नियतात्मक ट्यूरिंग मशीन " मैंने पाया: अगर

और

तो

r \in T^{- 1} (D T M)

$r \in T^{-1}(DTM)$

r^{'} \in o (r)

$r'\in o(r)$

D T I M E (n + r^{'}) \subset D T I M E (n + r)

$DTIME(n + r') \subset DTIME(n + r)$

— Marzio डी BIASI

अच्छा, लगता है कि मैं क्या देख रहा था। क्या आप इसे उत्तर में बदलना चाहते हैं?

— डोमोटर

दिलचस्प सवाल है, लेकिन एक मानक जटिलता वर्ग DTIME को गैर-मानक तरीके से पुनर्परिभाषित करने के लिए वस्तु , आपको सुझाव है कि भ्रम से बचने के लिए कम से कम इसे DTIME 'जैसा कुछ कहें

— vzn

यह पेपर शायद मददगार हो। [रोसेनबर्ग 67] वास्तविक समय निश्चित भाषाएं dl.acm.org/citation.cfm?id=321423

— zZzZzZ

टिप्पणी से:

" नियतकालिक और वास्तविक समय के बीच की श्रेणी में नियतात्मक ट्यूरिंग मशीन " में मैंने पाया:

... अगर और तो ... $r \in T^{−1}(DTM)$ $r' \in o(r)$ $DTIME(n+r') \subset DTIME(n+r)$

— मारजियो दे बियासी
स्रोत

क्या है

T^{- 1} (D T M)

$T^{-1}(DTM)$

— एमिल जेकब

एक बढ़ती हुई, असीम समय constructible समारोह का उल्टा होता है

(

सेंट

हमारे पास

)। आप इसे एक ईमानदार सबलाइनर फ़ंक्शन के साथ बदल सकते हैं।

T^{- 1} (D T M)

$T^{-1}(DTM)$

f

$f$

\forall c \in N, \exists n_{0}, c^{'} \in N

$\forall c \in \mathbb{N}, \exists n_0, c' \in \mathbb{N}$

\forall n \geq n_{0}

$\forall n \geq n_0$

c f (n) \leq f (c^{'} n)

$c f(n) \leq f(c'n)$

— Marzio De Biasi