===== DTIME =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $ T:\mathbb N\to\mathbb N $|

| @#FFBB00: definiendum | @#FFBB00: $ L\in \mathrm{\bf{DTIME}}(T(n)) $ |

| @#AAFFAA: inclusion   | @#AAFFAA: $ L\subseteq\{0,1\}^* $ |

| @#DDDDDD: range       | @#DDDDDD: $M\in\mathrm{TM}$ |
| @#DDDDDD: range       | @#DDDDDD: $c\in\mathbb{N}$ |

| @#55EE55: postulate   | @#55EE55: $\exists M,c.\ M$ decides $L$ in $c\cdot T(n)$-time |

==== Discussion ====
The ${\bf{D}}$ stands for deterministic.
==== Parents ====
=== Requirements ===
[[Turing machine as partial function]]
=== Subset of ===
[[Bit string]]