[Перевод] find + mkdir полны по Тьюрингу

Введение Мы покажем, что система, имеющая лишь команды GNU find и mkdir , полна по Тьюрингу. Хорошо известно, что команды sed и awk сами по себе полны по Тьюрингу, но мне не удалось найти информации о Тьюринг-полноте find + mkdir . Доказательство основано на реализации таг-системы . Мы по порядку рассмотрим реализацию цикла, FizzBuzz и таг-системы.

https://habr.com/ru/articles/837280/

#полнота_по_тьюрингу #машина_тьюринга #mkdir #find #gnu #регулярные_выражения #fizzbuzz

О мат-нотациях и Машинах Тьюринга

Всем Хабр! Совсем недавно открыл для себя некоторые прелести Латеха и начал активно в нем работать. По ходу дела возникали разные интересные мысли, которыми здесь и поделюсь. В статье пойдет речь о моих небольших дополнениях к мат-нотациям, которых мне не хватало, а также о том, как построить Машину Тьюринга с помощью оных. Сразу оговорюсь. Да, я, конечно, знаю о том, что есть Вольфрам. Да, он содержит большую часть того, о чем пойдет речь, и еще тонну всякого-разного, чего мне не постичь за всю мою жизнь. Поэтому из первого своего прототипа этой статьи я возьму лишь самое интересное и попытаюсь рассказать так, чтобы не звучало как изобретение велосипеда. Прошу не судить строго, ибо я профан. Я лишь делюсь тем, как было бы удобно мне, возможно, кому-то тоже окажется полезным. В том числе я пишу статью, не столько, чтобы что-то рассказать, сколько чтобы быть разумно критикуемым в комментах (вместо пустых дизов). Построить МТ

https://habr.com/ru/articles/790246/

#МТ #машина_тьюринга #Машина_Беббиджа #компиляторы #интерпретаторы #нотации #полнота_по_тьюрингу #тьюрингполнота