Describir: Konečný automat a jeho použitie na opis správania sa synchrónneho sekvenčného obvodu - HTML aplikácia