Semântica formal é a área de estudo de ciência da computação que se preocupa em especificar o significado (ou comportamento) de programas de computador e partes de hardware.
A semântica é complementar à sintaxe de programas de computador, que se preocupa em descrever as estruturas de uma linguagem de programação.
A necessidade de uma semântica formal (matemática) para linguagens de programação, justifica-se, pois:
Pode revelar ambiguidades na definição da linguagem (o que uma descrição informal não permitiria revelar);
É uma base para implementação (síntese), análise e verificação formal.

Sintaxe caracteriza a forma como se escrevem os programas da linguagem, sem atender ao seu
significado.
Exemplo de observação sobre “sintaxe” “Enquanto na linguagem C os blocos são delimitados
por chavetas { e }, na linguagem Pascal usam-se os delimitadores begin end”.
A sintaxe concreta de uma linguagem de programação pode ser descrita, precisa e formalmente usando gramáticas.

Em várias linguagens de programação, existem diferentes sintaxes. Todos os exemplos realizam a mesma operação: a soma de dois valores guardados na memória.
Os vários tipos de sintaxes são:

1. ActionScript
2. C/C++/Java/C#/D
3. Cobol
4. Delphi
5. Haskell
6. JavaScript
7. Logo
8. Pascal
9. Perl
10. PHP
11. Prolog
12. Python
13. Ruby
14. Scheme
15. VBScript
16. Visual Basic
17. Cold Fusion
18. Centura
19. Basic
20. Java
21. Clipper