7.8 Automaták
A kibernetika egyik központi kérdése az automaták (tanulógépek) vizsgálata.
Automata: Azokat az eszközöket, melyek emberi beavatkozás nélkül különféle információkat alakítanak át, automatáknak nevezzük.
Az automaták lehetnek nagyon egyszerűek, de lehetnek nagyon bonyolultak is. Jelen alfejezetben csak azokkal az automatákkal foglalkozunk, melyek teljesítik a következő tulajdonságokat:
- Véges sok bemeneten keresztül kívülről kapják az információt.
- A bemenetek függvényében megadjuk a kimeneten megjelenő adatokat, azaz megadunk egy k darab információt leíró n-változós függvényt, ahol n a bemenetek, k a kimenetek száma.
- Mind a bemenetek, mind a kimenetek igazságfüggvények, azaz Boole-féle függvények.
Egyszerű véges automata: Azon áramköri egységeket, melyek az egyes logikai áramköröknek felelnek meg, egyszerű véges automatáknak nevezzük.
Megjegyzés.
Az előzőekben láttuk, hogy minden logikai művelet előállítható negációk, konjunkciók és diszjunkciók véges sokszori alkalmazásával, ezért elegendő ezeket a logikai áramköröket vizsgálni.