Вып. 6; Теория конечных автоматов и ее приложения (1976, 1976)