Ficheiro:Formula Bem Formada.png

Formula_Bem_Formada.png(300 × 276 píxeis, tamanho: 7 kB, tipo MIME: image/png)

Descrição do ficheiro

Descrição
Português: Esse diagrama mostra as entidades sintáticas que podem ser construidas da linguagem formal. Os símbolos e as cadeias de caracteres podem ser formulações sem sentido ou fórmulas bem formadas. Uma linguagem formal pode ser interpretada como sendo o conjunto de suas fórmulas bem formadas. O conjunto de fórmulas bem formadas pode ser dividido em teoremas e não-teoremas.
Data
Origem Obra do próprio
Autor Jefferson Carlos De Bragança

Licenciamento

Eu, titular dos direitos de autor desta obra, publico-a com a seguinte licença:
w:pt:Creative Commons
atribuição partilha nos termos da mesma licença
A utilização deste ficheiro é regulada nos termos da licença Creative Commons Atribuição-CompartilhaIgual 4.0 Internacional.
Pode:
  • partilhar – copiar, distribuir e transmitir a obra
  • recombinar – criar obras derivadas
De acordo com as seguintes condições:
  • atribuição – Tem de fazer a devida atribuição da autoria, fornecer uma hiperligação para a licença e indicar se foram feitas alterações. Pode fazê-lo de qualquer forma razoável, mas não de forma a sugerir que o licenciador o apoia ou subscreve o seu uso da obra.
  • partilha nos termos da mesma licença – Se remisturar, transformar ou ampliar o conteúdo, tem de distribuir as suas contribuições com a mesma licença ou uma licença compatível com a original.

Legendas

Esse diagrama mostra as entidades sintáticas que podem ser construídas da linguagem formal. Os símbolos e as cadeias de caracteres podem ser

Elementos retratados neste ficheiro

retrata

Histórico do ficheiro

Clique uma data e hora para ver o ficheiro tal como ele se encontrava nessa altura.

Data e horaMiniaturaDimensõesUtilizadorComentário
atual10h41min de 23 de setembro de 2020Miniatura da versão das 10h41min de 23 de setembro de 2020300 × 276 (7 kB)Jefferson Carlos De BragançaUploaded own work with UploadWizard

A seguinte página usa este ficheiro:

Metadados