Изменения

Перейти к: навигация, поиск

Теорема Кука

13 байт добавлено, 20:52, 12 марта 2010
Нет описания правки
Тогда процесс работы машины <math>m\,\!</math> на входе <math>x\,\!</math>, то есть цепочка переходов <math>q_0 \vdash q_1 \vdash ... \vdash q_t</math> может быть представлен следующей таблицей :
 {| align="right" border="1" class="wikitable" style="text-align:center" cellspacing="0"
|+ '''Процесс работы машины <math>m\,\!</math> на входе <math>x\,\!</math>'''
|-
10
правок

Навигация