Stav dette: Вып. 9; Теория конечных автоматов и ее приложения