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

Ligações:

Sincronas:

Quando o dispositivo receptor, é activado um mecanismo de sincronização relativamente ao fluxo de dados provenientes do emissor.

Assincronas:

Quando não é estabelecido, no receptor, um mecanismo de sincronização relativamente ao emissor.

Simple Mail Transfer Protocol

SMTP (Simple Mail Transfer Protocol):

SMTP é o protocolo padrão para envio de e-mails através da Internet. É um protocolo relativamente simples, baseado em texto, onde um ou mais destinatários de uma mensagem são especificados, logo depois a mensagem é transferida.

Redes FDDI:

A transmissão FDDI, que significa Fiber Distributed Data Interface. A expansão de redes de âmbito mais alargado, designadamente redes do tipo MAN são algumas das possiblidades do FDDI, tal como pode servir de base à interconexão de redes locais. As redes FDDI adoptam uma tecnologia de transmissão idêntica às das redes Token Ring, mas utilizando cabos de fibra óptica, o que lhes proporciona capacidades de transmissão muito elevadas.

Redes ATM:

Asynchronous Transfer Mode, ou ATM, é uma arquitetura de rede de alta velocidade orientada a conexão e baseada na comutação de pacotes de dados.

Tecnologias de Transmissão:

Redes Token-Ring:

Token ring é um protocolo de redes que trabalha na camada física, isto é, ligação de dados e de enlace do modelo OSI dependendo de sua aplicação. Consiste numa trama de três bytes, que circula numa topologia em anel em que as estações devem aguardar a sua recepção para transmitir.