Baigtiniai automatai. Pagrindinės sąvokos ir savybės. Analizės tikslas – nustatyti sistemos (objekto) funkcionavimo dėsnius. Sintezės tikslas – suprojektuoti sistemą pagal duotus funkcionavimo dėsnius. Tiek sintezės tiek analizės požiūriu sistemą charakterizuojančius kintamuosius galima suskirstyti tokiu būdu: 1. įėjimo kintamieji – tai poveikiai generuojami kitos sistemos ir veikiantys tiriamąją sistemą. 2. išėjimo kintamieji – tai sistemos reakcija, charakterizuojanti sistemos poelgį ir kurie domina sistemos tyrėją. 3. tarpiniai kintamieji – tai dydžiai, kurie nėra nei įėjimo nei išėjimo kintamieji. Schematiškai sistemą galima pavaizduoti kaip juodą dėžę turinčią baigtinį išvadų skaičių, prieinamų tos sistemos tyrėjui.
Priimta , kad sistema valdoma sinchrosignalais paduodamais iš sinchrosignalų šaltinio. Visi sistemos kintamieji matuojami netolydžiai, o tam tikrais laiko momentais, kurių metu paduodami sinchrosignalai. Šie laiko momentai vadinami taktiniais momentais. Priimta , kad sistemos elgesys bet kuriuo laiko momentu tv nepriklauso nuo laiko intervalo tv - tv-1. Tokiu būdu sistemos kintamojo reikšmė priklauso ne nuo laiko, o nuo eilės numerio, susieto su taktiniais momentais. Tokios sistemos vadinamos sinchroninėmis.

Kompiuterių struktūros špera