Estou prestes a implementar uma linguagem específica de domínio para representação de convenções de aprendizagem social. Parte da implementação é uma descrição formal de uma linguagem - seu 'cálculo', símbolos e expressões lógicas. Minha abordagem seria descrever a linguagem descrevendo sua...
O que significa quando um argumento para uma função é chamado de argumento fictício ? Não encontrei esse termo fora de Fortran, é um termo geral em ciência da computação? Quais seriam os exemplos de argumentos passados como fictícios e não passados como fictícios? Encontrei essa definição ,...
Um vídeo do YouTube que eu estava assistindo explicou as diferenças entre programação imperativa e funcional, demonstrando como os números de 1para 10são resumidos em Java e em Haskell, respectivamente. Em Java, você deve declarar explicitamente cada etapa e atribuir o resultado de cada etapa a...
No cálculo lambda puro, temos o conjunto de termos definido indutivamente (a gramática): e : : = x | X x . e ∣e1e2e:: =x∣λx.e∣e1e2e::= x \mid \lambda x . e \mid e_1 e_2 Sob a estratégia de avaliação de valor por chamada, temos as regras de inferência para redução beta e regras sobre como avaliar...
Eu sou interessante no ensino de programação para alunos do ensino médio. Eu gostaria de uma linguagem de programação com os seguintes critérios: Simples - reduzido ao mínimo absoluto necessário para oferecer suporte a programação sofisticada sem muito código. Como tal, para esta linguagem, não...
Dizem que um programa inclui algoritmos; no entanto, se nos referirmos à sua definição, um algoritmo é uma sequência de instruções escritas para executar uma tarefa especificada e um programa de computador também é uma sequência de instruções para executar algumas tarefas no computador. Então, o...
Estou trabalhando em minha própria pequena linguagem de programação para fins educacionais e me deparei com um pouco de problema. Existem algumas soluções diferentes para isso, mas todas elas parecem deselegantes - e pelo que entendi, desnecessárias. Mas, lendo os livros que tenho e as pesquisas no...
Qual é a relação e a diferença entre um modelo de programação e um paradigma de programação? (especialmente ao falar sobre o modelo de programação e o paradigma de programação para uma linguagem de programação.) A Wikipedia tenta responder à minha pergunta em 1: Os paradigmas de programação...
Digamos, eu queria criar minha própria linguagem de programação. Supondo que eu tomei todas as decisões sobre como eu quero que pareçam e ajam, eu só preciso escrever um compilador para isso? Por exemplo, o código Java de alto nível não é apenas texto e esse texto está no formato correto para o...
Eu estava lendo o artigo Conceitos Fundamentais em Linguagens de Programação, de C. Strachey outro dia, onde li algo que era bastante estranho para mim. Citando diretamente (com a parte estranha destacada por mim): Confrontados com a situação, uma vez que existe hoje em dia, onde existe um...
A análise de fluxo de dados funciona sobre um gráfico de fluxo de controle. Quando um idioma em consideração suporta exceções, o gráfico de fluxo de controle pode explodir. Quais são as técnicas padrão para lidar com essa explosão? Podemos ignorar profundamente as arestas induzidas pela exceção?...
Pergunta: Existem textos introdutórios na linguagem formal ou na teoria da linguagem de programação que discutam como aplicá-la ao estudo da notação ideal? Em particular, estou interessado em aprender o que são linguagens de pilha, árvores de análise e índices e como prever quando um determinado...
Não tenho certeza se é o lugar certo para esta pergunta. Desculpe se for um pouco fora de tópico. A escolha de um idioma adequado para o primeiro curso de programação é uma das coisas mais importantes que todo professor / professor relacionado deve ter em mente; especialmente se os alunos são...
Estou lendo a Linguagem de programação Rust e encontrei a seguinte passagem: Lembre-se de que escrever em uma estrutura não é uma operação atômica, e muitas funções como vec.push()podem se realocar internamente e causar comportamento inseguro; portanto, mesmo a monotonicidade pode não ser...
Eu não sei muito sobre yacc, bison, flex ou lex e, por favor, me corrija se eu estiver errado, mas uma linguagem de programação também é uma máquina de Turing e uma máquina de Turing é definida como a tupla ( Q , Γ , b , Σ , δ,q0 0, F)(Q,Γ,b,Σ,δ,q0,F)(Q, \Gamma, b, \Sigma, \delta, q_0, F) Onde QQQ,...
Wikipedia : O teorema do programa estruturado [...] afirma que qualquer [...] algoritmo pode ser expresso usando apenas três estruturas de controle. Eles são Executando um subprograma e depois outro subprograma (sequência) Executando um dos dois subprogramas de acordo com o valor de uma...
Eu acho que a pergunta é auto-suficiente. A sintaxe da linguagem C é completamente definida por meio de gramáticas livres de contexto ou temos construtos de linguagem que podem exigir definições não livres de contexto durante a análise? Um exemplo de construção não CFL que pensei ser a declaração...
A seguinte matriz ocupa 10.000 slots na memória: a = [0,1,2,3,4,5,6,7,8,9,10,...,10000] Mas pode-se facilmente representar a mesma matriz que: a = {len:10000, get: λ idx -> idx} O que é muito mais compacto. Da mesma forma, existem várias matrizes que podem ser representadas...
Existem exemplos de linguagens de computador do mundo real que não são deterministas? Por linguagens de computador eu incluo linguagens de programação, linguagens de marcação, linguagens de consulta, linguagem de modelagem, linguagens de transformação, etc. Por não determinístico, quero dizer que...
Eu estava lendo Estrutura e Interpretação de Programas de Computador (SICP), MIT. O que eu entendi é que na linguagem de programação funcional pura, não existe um estado local. SICP, página 230 diz: "A programação sem qualquer uso de atribuições, como fizemos nos dois últimos capítulos deste...