Created by Petr Naske
V naší úloze u kaštanových zvířátek nebereme v úvahu jejich velikost nebo srst. Uvažujeme pouze strukturou jejich těl, všechno ostatní není důležité (říkáme, že abstrahujeme). Struktura zvířátek se zachovává, i když klidně stojí nebo třeba divoce tancují.
Informatici musí umět rozlišit, co je důležité a co nikoliv a musí umět od nedůležitých věcí abstrahovat. Musí také umět poznat, zda jsou dvě struktury podobné.
Kdyby zvířátka z naší úlohy byla větší a komplikovanější, bylo by velice těžké rozpoznat, které je které. Proto informatici vyvájejí počítačové programy, které tyto problémy vyřeší. Podobně jako naše zvířátka mohou totiž vypadat plány silnic, grafy železničních spojení apod.
Elektrické obvody, které obdrží jednu nebo více logických hodnot, provádí s nimi operace a vytvářejí jednu logickou hodnotu, se nazývají logické obvody. Logické operace jsou AND (A), OR (NEBO), NOT (NE) a NAND (opačný výstup funkce AND)
Zajímavé je, že všechny logické operace se dají vyjádřit pomocí NAND:
V naší otázce bílé mléko vyjadřuje logickou hodnotu 0, čokoláda vyjadřuje 1 a stroj na mléko je funkce NAND. Když nalijeme bílé mléko (0) do obou otvorů (vstupů) získáme čokoládu. 0 NAND 0 = 1.
Přesně řečeno, v zadání úlohy nemáme popsáno, co se stane, když nalejeme do jednoho otvoru mléko a do druhého čokoládu. Pokud by stroj na mléko byl funkce NAND, pak by v těchto případech také vznikla čokoláda: 0 AND 1 = 0, opačným výstupem je 1. Kdybychom se ale rozhodli, že čokoláda je 0 a mléko 1, pak by smícháním mléka a čokolády vzniklo vždy mléko.Jak je důležité vše přesně pojmenovat a popsat!
Grafické zobrazení abstraktního stroje je dobrý způsob, jak si představit a porozumět tomu, jak počítače, programy, apod. pracují se vstupy.
Generování kódů podle určitých pravidel se používá v řadě situací. Např. rodná čísla se vytvářejí tak, aby bylo dělitelné 11 (na chybu v jeho zápisu se pak ihned přijde). ISBN neboli identifikační číslo každé pubilkace má také svoji kontrolní číslici, které slouží ke kontrole, jestli je číslo sestaveno správně.
