1.O que é?

A linguagem formal é o estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (assim como as suas classificações, estruturas, propriedades, características e inter-relacionamentos.)

2.Explique a importância da Teoria da Linguagem formal na ciência da computação?

1. Apoia outros aspetos teóricos da ciência da computação

2. Fundamenta diversas aplicações computacionais- tais como processamento de linguagens, reconhecimento de padrões, modelagem de sistemas.

3.Defina o que é linguagem e o que é linguagem formal?

Uma linguagem é uma forma de comunicação, que é definida como um conjunto de símbolos e regras para combiná-los, sendo utilizada e compreendida por uma comunidade específica.

As "linguagens formais" são mecanismos formais para representação e especificação de linguagens, baseados na chamada "teoria da computação".

4.Reconhecedores são dispositivos formais que servem para verificar se uma frase pertence ou não à determinada linguagem. São os autômatos: autômatos finitos, autômatos de pilha e máquina de Turing.

5.Geradores são dispositivos formais que permitem a geração sistemática de todas as frases de uma linguagem. Os principais sistemas geradores disponíveis são as gramáticas, onde se destacam as gramáticas de Chomsky.

6.Linguagens formais podem ser representadas de maneira finita e precisa através de sistemas com sustentação matemática.