Инструментальные средства поддержки изучения алгоритмов Маркова и машин Тьюрингастатья