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