Searcharxiv⌕ Search

arXiv subjects

Mircea Alexandru Popescu Moscu

Publications and source records attributed to Mircea Alexandru Popescu Moscu.

2 recordsLinked to original sources

On The Liniar Time Complexity of Finite Languages

The present paper presents and proves a proposition concerning the time complexity of finite languages. It is shown herein, that for any finite language (a language for which the set of words composing it is finite) there is a Turing machine that computes the language in such a way that for any input of length k the machine stops in, at most, k + 1 steps.

cs.CC↗

On Invariance and Convergence in Time Complexity theory

This article introduces three invariance principles under which P is different from NP. In the second part a theorem of convergence is proven. This theorem states that for any language L there exists an infinite sequence of languages from O(n) that converges to L.

cs.CC↗