Языка программирования как машины