Preencha as lacunas abaixo e, em seguida, assinale a alternativa com a sequência correta.
Uma é um tipo de linguagem de programação de que nos permite descrever todas as características importantes de um sistema lógico de complexidade arbitrária.
