Palavras, Linguagens e Expressões Regulares

Neste capítulo são fixadas bases rigorosas para a definição de linguagens de programação e a análise dos respetivos programas.

É necessário começar por definir rigorosamente e sem ambiguidades, isto é, matematicamente, certos conceitos fundamentais como "símbolo" (ou "letra"), "palavra" e "linguagem".

Também são definidas as "expressões regulares", que permitem representar certas linguagens formais de forma compacta.

Com as "expressões regulares" tem-se uma forma rigorosa de definir certas linguagens formais. É o primeiro passo no processo para representar linguagens de programação.