Cursul este definitoriu pentru specializarea Automatica si Informatica Aplicata prin faptul ca, preluând si extinzând cunostintele de algebra logica si electronica digitala formalizeaza metode, algoritmi si tehnici de analiza si sinteza a dispozitivelor, circuitelor si sistemelor numerice. Sunt introduse tipurile de baza de automate elementare, Sunt tratate cele doua clase de baza de automate finite: combinationale si secventiale implementate cu automate elementare (bistabili) si circuite standard: multiplexoare, decodificatoare, unitati aritmetice si logice, registre, numaratoare. Sunt introduse formalismele Mealy si Moore pentru automate secventiale, pe baza carora se prezinta metode de analiza si de sinteza. Cursul abordeaza proiectarea masinilor algoritmice de stare cu diferite implementari ale generatorului noii stari: porti universale, multiplexoare, decodificatoare, memorii cu adresare in format fix si variabil. Cursul prezinta solutii de implementare a automatelor finite cu dispozitive logice programabile de tip FPLA, FPGA.