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