---
up:
  - "[[langage formel|langage formel]]"
tags:
  - s/informatique/algorithmie
aliases:
---

> [!definition] Décidable en temps déterministe $f$
> Soit $f : \mathbb{N} \to \mathbb{N}$ soit $\Sigma$ un [[langage formel . alphabet|alphabet]]
> un langage $L \subseteq \Sigma^{*}$
> On dit que $L$ est **décidable en temps déterministe $f$** et on note $L \subseteq \operatorname{DTIME}(f)$
> s'il existe une machine de Turing déterministe $M$ qui [[langage décidé par une machine de turing||décide]] $L$ en temps $O(f)$