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