Список проголосовавших за комментарий "<blockquote>Я думаю, что они очевидно неэквивалентны.<br/> <br/> Проще всего взять разницу между детерминированной и недетерминированной машиной тьюринга(или другим автоматом).</blockquote><br/> Где-то здесь логический разрыв ))"