78
düzenleme
Cook-Levin teoremi: Revizyonlar arasındaki fark
<math>\emptyset_{\mathrm{kabul} }=\bigvee_{1\le i,j\le n^k}\chi_{i,j,q_{\mathrm{kabul} } }</math>
(→İspat: png --> tex) |
(<math>\emptyset_{\mathrm{kabul} }=\bigvee_{1\le i,j\le n^k}\chi_{i,j,q_{\mathrm{kabul} } }</math>) |
||
|
::[[Dosya:Sat tablo2.png| 479 × 37 px]] doğrulanmalıdır.
:3. Tabloda en az bir tane N makinesine ait kabul durumu (q<small>kabul</small> ) bulunmalıdır.
::Dolayısıyla
:4. Tablodaki konfigürasyonlar arasındaki geçiş N makinesinin kurallarına uygun olmalıdır.
::Dolayısıyla [[Dosya:Sat tablo4.png| 568 × 40 px]] doğrulanmalıdır.
| |||