Обновлённый список проектов

jobbox
Описание: программа для запуска приложений в задании (job). Запускается как служба и создаёт pipe(канал). К pipe подключаются клиенты и посылают запрос на запуск какой-либо программы с нужными ограничениями.
Текущие возможности: на данный момент программа обеспечивает подключение одного клиента. После запуска указанного клиентом приложения с ограничениями, останавливается до завершения его работы (запущенного приложения). После закрытия приложения переходит в режим ожидания подключения нового клиента.
Состояние: разрабатывается.
Язык: C++
Лицензия: GPLv2
Исходники:
архив: https://sourceforge.net/projects/jobbox/
Git: https://github.com/marat-ab/jobbox
Документация: - 

TuringMachine
Описание: эмулятор машины Тьюринга.
Текущие возможности: программа позволяет сконфигурировать требуемую машину Тьюринга и посмотреть на результат её работы для заданной ленты.
Состояние: разрабатывается.
Язык: C#
Лицензия: GPLv2
Исходники:
архив: https://sourceforge.net/projects/turingmachinee/
Git: https://github.com/marat-ab/TuringMachine
Документация: - 

ProcessWatcher
Описание: мониторинг за процессами MS Windows.
Текущие возможности: позволяет просматривать список процессов и их модулей. Следит за открывающимися и закрывающимися процессами и выводит соответствующую информацию
Состояние: разработка временно остановлена.
Язык: C++
Лицензия: GPLv2
Исходники:
архив: https://sourceforge.net/projects/processwatcher/
Документация: http://attempts-to-see.blogspot.ru/search/label/ProcessWatcher


Notes
Описание: создание заметок.
Текущие возможности: позволяет создавать заметки. Есть возможность изменять окно отображения заметок.
Состояние: разработка временно остановлена.
Язык: C#
Лицензия: -
Исходники: -
Исполняемый файл: https://sourceforge.net/projects/notessoft/
Документация: http://attempts-to-see.blogspot.ru/search/label/Notes

О вычислениях, машинах Тьюринга и других интересных вещах. Part 3

Сейчас мы более подробно разберем устройство Машины Тьюринга (МТ). При чтении двух предыдущих постов на эту тему, может показаться, что это “устройство” имеет очень сложную конструкцию. Но на самом деле это не так. Конструкция МТ очень простая.  

Основными её компонентами являются лента бесконечная в обоих направлениях (хотя на практике часто используют ленту ограниченную с одного конца) и считывающая головка.

О вычислениях, машинах Тьюринга и других интересных вещах. Part 2

По материалам Марвина Мински “Вычисления и автоматы”.

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

Пойдём дальше. Наверное, не очень удобно собирать для каждой задачи свою МТ. А можно ли составить такую МТ, которая в качестве входных данных получает описание другой МТ и данные для неё?

О вычислениях, машинах Тьюринга и других интересных вещах. Part 1

Хотелось немного просвещать вопросы, связанные с вычислениями, машинами Тьюринга и т.п. На абсолютную корректность того, что излагаю, не претендую, это просто различные выдержки из книг, журналов и других источников, прошедшие через мою голову. За правки и комментарии буду очень благодарен.

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

Если какую-либо процедуру мы можем вычислить механически (т.е. на какой-то машине, или просто вручную), то такую процедуру будем называть эффективной. И обратно, если процедуру мы называем эффективной, то её можно реализовать механически. А каким требованиям отвечает “эффективная процедура”?