Author: International Conference on Fundamentals of Computation Theory (6th 1987 Kazanʹ, R.S.F.S.R.)