Stav dette: Введение в теорию конечных автоматов