Örneğin, programlama dilleri ve CPU komut setleri, verilere erişen ve bunları değiştiren resmi kural sistemlerinin örnekleridir. Kurallar, Turing'in varsayımsal hesaplama makinesini simüle etmek için kullanılabilirse, kuralların "Turing tamamlandı" olduğu söylenir. Bir Turing-complete sistemi, herhangi bir olası hesaplama veya bilgisayar programını gerçekleştirebilecek şekilde matematiksel olarak kanıtlanabilir.
Bir Turing komple sisteminin bir örneği, Alan Turing'in profesörü olan Alonzo Kilisesi tarafından geliştirilen lambda hesabıdır.
Turing komple sistem örnekleri
Bilgisayar Bilimi, Lambda hesabı, Programlama terimleri