Em uma linguagem de programação, o conjunto relativamente pequeno de construções primitivas que pode ser combinado em um número relativamente pequeno de maneiras para construir as estruturas de controle e de dados da linguagem é conhecido como: