Definieren Sie als die Klasse von Sprachen, die von einer (Multitape-) Turing-Maschine in der Zeit f ( n ) + 1 akzeptiert werden können . (Die " + 1 " dient nur zur Vereinfachung der Notation und zur Vermeidung von Verwirrung.) Beachten Sie, dass um f ( n ) + 1 kein O ( ⋅ ) vorhanden ist .
Stimmt es, dass ?
Mit dem linearen Beschleunigungssatz können wir beweisen , aber können wir n erreichen ?
Es scheint, dass die Sprache der Palindrome in ; Verwandte Themen finden Sie in Liptons Blogbeitrag über String-Algorithmen
Antworten:
Aus dem Kommentar:
In " Deterministische Turingmaschinen im Bereich zwischen Echtzeit und linearer Zeit " fand ich:
quelle