Harflerle Makine

Makinenin tek taşınabilir cümledeki hâli: x^2 + (p+q)x + pq = (x + p)(x + q). Herhangi bir p ve q çifti, onların oluşturduğu herhangi bir üçterimli ifade: toplam ortada, çarpım sonda yer alır ve çift parantezlerin içine girer.

Soldan sağa okunduğunda, geçen bölümde birinci terimler, dış terimler, iç terimler ve son terimlerle kanıtladığın açılımdır. Sağdan sola okunduğunda ise bu bölümün makinesidir. Tek bir özdeşlik, iki yönde ilerleme.

Harfler, kuralı denetlenebilir kılar: (x + p)(x + q) ifadesini kendin aç ve (p+q)x ile pq ifadelerinin ortaya çıktığını gör. Yaptığın her belirli arama, p ve q yerine sayıların konduğu bu cümledir.