Pour toute machine de Turing M,

On dit alors qu'on a un calcul de longueur n, et on note

C_1 \vdash_{M}^{\left(n\right)} C_2

FIXME Y a-t-il moyen de mieux poser les super et sub params sur les dérives? En notons au passage que \vdash est \vdash.

 
m1ilc/c_et_c_def_calc.txt · Dernière modification: 2009/11/30 13:20 par suitable
 
Sauf mention contraire, le contenu de ce wiki est placé sous la licence suivante :CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki