Thread by @adrianolcp

1 - Você sabe como as linguagens de programação são formadas? E como elas são compiladas e as etapas de do processo de compilação?

Segue o 🧵

2- Uma linguagem de programação é formada por um alfabeto que é o conjunto de todos os caracteres que podem ser aceitos naquela linguagem. Inclui letras, números e caracteres especiais. Quando você faz um programa na linguagem C por exemplo, você está escrevendo uma palavra +

3- da linguagem C. O número de palavras(programas) que eu posso gerar na linguagem C é infinito. Então linguagem de programação é o conjunto de programas que podem ser gerados por aquela linguagem. +

4- Eu falo um sobre isso a partir do minuto 18:29 do meu vídeo da playlists de teoria da computação bityli.com/WcCM7 Me desculpem a qualidade do vídeo. Eu era iniciante na época e precisava de jogar os vídeos de qualquer jeito para meus alunos acompanharem. +

5- Além disso, uma linguagem precisa de regras para que as palavras possam ser formadas. Essas regras seguem padrões sintáticos e semânticos como em qualquer outra linguagem. Essas regras são chamadas de gramáticas. Quer ver algumas gramáticas de linguagens conhecidas? +

6- Gramática do Javascript: Veja aqui no anexo A 262.ecma-international.org/5.1/

Gramática do Java: docs.oracle.com/javase/specs/j…

Gramática da linguagem C: lysator.liu.se/c/ANSI-C-gramm…

Para criar uma nova linguagem você precisa definir um alfabeto e uma gramática. +

7- Eu resumi muita coisa para a Thread não ficar grande. Mas eu falo um pouco mais sobre gramáticas aqui: bityli.com/PIsdu

Assistindo os vídeos da playlist de Teoria e Compiladores o entendimento de gramáticas fica um pouco mais tranquilo para ser digerido. +

8- Agora a gente precisa de um compilador para analisar as palavras (programas) da linguagem. Existem diversas classes de compiladores. Nesses vídeos eu mostro uma visão geral do processo de compilação: bityli.com/G9EBy +

9- As linguagens de programação modernas como Javascript, Python, Java e outras, independente se são linguagens interpretadas ou compiladas precisam de serem analisadas sintática e semânticamente para verificar se o que o programador digitou está de acordo +

10- com a gramática da linguagem. Por isso quando você está programando e te dá um erro, muitas vezes erros são sintáticos ou semânticos, ou seja, você está fazendo algo que não é permitido de acordo com a gramática da linguagem. +

11- O coração do processo de compilação é a análise sintática e semântica. Existem diversos algoritmos para esse processo, sendo o mais robusto e usado na maioria das linguagens o algoritmo parser LALR(1): bityli.com/3sqPb +

12- Mas para aprender o LALR(1) sugiro que assista sobre o algoritmo parser CLR(1) nos vídeos:

bityli.com/kNE0N
e

bityli.com/8bYQI

13- Para análise semântica queremos verificar se os valores que eu defini para cada variável estão recebendo os tipos corretos durante a programação. Esse processo é feito juntamente com o parser e se chama tradução dirigida por sintaxe:

14- Somente com a Thread você não vai pegar toda a fundação para aprender sobre compiladores e teoria da computação. Então sugiro ver os vídeos do meu canal, mais especificamente a playlist de Teoria e depois a playlist de compiladores link do meu canal: bityli.com/hpTOe

15- No meu canal eu sigo fielmente o conteúdo dos livros da área. Livros que recomendo para Teoria e Compiladores estão nas imagens. Quando estudamos essas disciplinas a nossa compreensão sobre computação e o entendimento de linguagens aumenta consideravelmente. Fim do 🧵