на статью Р. Фрейвалда "Projections of languages recognizable by probabilistic and alternating finite multitape automata".
