# Differences

This shows you the differences between two versions of the page.

 dtime [2014/02/18 17:58]nikolaj dtime [2014/03/21 11:11] (current) Both sides previous revision Previous revision 2014/02/18 17:58 nikolaj 2014/02/18 17:58 nikolaj 2014/02/18 15:44 nikolaj 2014/02/18 15:44 nikolaj 2014/02/18 15:44 nikolaj 2014/02/18 15:43 nikolaj 2014/02/17 21:55 nikolaj 2014/02/17 13:46 nikolaj 2014/02/17 01:49 nikolaj 2014/02/17 01:48 nikolaj 2014/02/17 01:33 nikolaj old revision restored (2014/02/17 01:19) 2014/02/18 17:58 nikolaj 2014/02/18 17:58 nikolaj 2014/02/18 15:44 nikolaj 2014/02/18 15:44 nikolaj 2014/02/18 15:44 nikolaj 2014/02/18 15:43 nikolaj 2014/02/17 21:55 nikolaj 2014/02/17 13:46 nikolaj 2014/02/17 01:49 nikolaj 2014/02/17 01:48 nikolaj 2014/02/17 01:33 nikolaj old revision restored (2014/02/17 01:19) Line 1: Line 1: ===== DTIME ===== ===== DTIME ===== ==== Set ==== ==== Set ==== - | @#88DDEE: $T:\mathbb N\to\mathbb N$| + | @#55CCEE: context ​    | @#55CCEE: $T:\mathbb N\to\mathbb N$| - | @#FFBB00: $L\in \mathrm{\bf{DTIME}}(T(n))$ | + | @#FFBB00: definiendum ​| @#FFBB00: $L\in \mathrm{\bf{DTIME}}(T(n))$ | - | @#AAFFAA: $L\subseteq\{0,​1\}^*$ | + | @#AAFFAA: inclusion ​  | @#AAFFAA: $L\subseteq\{0,​1\}^*$ | - | @#DDDDDD: $M\in\mathrm{TM}$ | + | @#DDDDDD: range       | @#DDDDDD: $M\in\mathrm{TM}$ | - | @#DDDDDD: $c\in\mathbb{N}$ | + | @#DDDDDD: range       | @#DDDDDD: $c\in\mathbb{N}$ | - | @#55EE55: $\exists M,c.\ M$ decides $L$ in $c\cdot T(n)$-time | + | @#55EE55: postulate ​  | @#55EE55: $\exists M,c.\ M$ decides $L$ in $c\cdot T(n)$-time | ==== Discussion ==== ==== Discussion ====