Проект программного комплекса генерации машин Тьюринга, решающих NP-трудные задачи by В.И. Мартьянов