Скобочная последовательность правильная, если: число ) = числу (, не существует ситуации, что число ) больше числа ( если идти от начала слова. На двух-ленточной МТ алгоритм, считающий количество ( и ) и разность между ними на каждом шаге занимает 3 дополнительных ячейки на ленте, значит принадлежит logspace.


StasFomin (обсуждение) 13:28, 19 мая 2015 (MSK): Откуда взялись «3 дополнительных ячейки на ленте»?