Describir: Logika, automaty a algoritmy