Классификация языков, предложенная Дж. Бэкусом
| Характеристика | A. Простые операционные модели | B. Аппликативные модели | C. Модели фон Неймана |
| Основы модели | Точные и полезные | Точные и полезные | Сложные, громоздкие, бесполезные |
| Историческая | Обладают памятью и | Нет памяти, нет | Обладают памятью, |
| чувствительность | исторической чувствительностью | исторической чувствительности | исторически чувствительны |
| Семантика | Смена состояний с очень простыми состояниями | Редукционная семантика, нет состояний | Смена состояний со сложными состояниями |
| Ясность программ | Неясные и концептуально бесполезные | Ясные и функционально полезные | Умеренно ясные и не очень полезные концептуально |