Igra življenja, znana tudi pod imenom Life ali Conwayjeva igra življenja, je "igra", ki jo je leta 1970 ustvaril matematik John Conway. Glede na začetno stanje se dvodimenzionalna celična mreža končnih avtomatov s časom spreminja v več generacijah. Vsaka celica preživi, ​​umre ali se reproducira na podlagi številnih sosednjih sosedov. Conwayjeva igra (prikazana slika desno) je privedla do oblikovanja novega polja matematike, imenovanega celični avtomati. Ostaja znan kot preprost, poučen program za študente računalniškega programiranja.

Turingova popolnost

Conwayjeva igra življenja predstavlja Turingov popolni ali "univerzalni" stroj. Dokazano je bilo možno (čeprav težko in neučinkovito) ustvariti kateri koli drug računalnik, ki uporablja samo pravila v Conwayjevi igri.

Štiri pravila igre

• Izolacija: Vsaka živa celica z manj kot dvema živima sosedama umre.
• Stanje: Vsaka živa celica z dvema ali tremi živimi sosedi preživi do naslednje generacije.
• Prenapolnitev: Vsaka živa celica z več kot tremi živimi sosedi umre.
• Razmnoževanje: Vsaka mrtva celica s točno tremi živimi sosedi postane živa.

Generacija, programski izrazi