atividade 1-2

Prévia do material em texto

27/02/2026 16:07 Teste: Atividade 1
https://famonline.instructure.com/courses/51114/quizzes/244335/take 1/2
Atividade 1
Iniciado: 27 fev em 16:07
Instruções do teste

Pergunta 1 1 pts
p
Não salvo 
Importante:
Caso você esteja realizando a atividade através do aplicativo "Canvas Student", é necessário que você clique em "FAZER O QUESTIONÁRIO", no final da página.
Leia o trecho a seguir:
Entende-se por Teoria das Linguagens Formais e dos autômatos o estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido
amplo da palavra), suas classificações, estruturas, propriedades, características e inter-relacionamentos.
A importância dessa teoria na Ciência da Computação é dupla: ela tanto apoia outros aspectos teóricos da Ciência da Computação (decidibilidade, computabilidade, complexidade
computacional, por exemplo), como fundamenta diversas aplicações computacionais tais como processamento de linguagens, reconhecimento de padrões, modelagem de sistemas.
Para definir o que é a Teoria das Linguagens Formais é necessário definir o que é linguagem e o que é linguagem formal. Inicialmente, de maneira bastante informal, podemos definir
uma linguagem como sendo uma forma de comunicação. Elaborando um pouco mais esta definição, podemos definir uma linguagem como sendo "um conjunto de elementos
(símbolos) e um conjunto de métodos (regras) para combinar estes elementos, usado e entendido por uma determinada comunidade". São exemplos as "linguagens naturais" (ou
idiomas), "linguagens de programação" e os "protocolos de comunicação".
Assim, podemos dizer que "Linguagens formais" são mecanismos formais para representação e especificação de linguagens, baseados na chamada "Teoria da Computação". As
representações podem ser feitas por reconhecedores e geradores. Os reconhecedores são dispositivos formais que servem para verificar se uma sentença pertence ou não à
determinada linguagem. São os autômatos: autômatos finitos, autômatos de pilha e Máquina de Turing. Os sistemas geradores são dispositivos formais que permitem a geração
sistemática de todas as sentenças de uma linguagem. Os principais sistemas geradores disponíveis são as gramáticas, onde se destacam as gramáticas de Chomsky. Então,
linguagens formais podem ser representadas de maneira finita e precisa através de sistemas com sustentação matemática.
Fonte: LINGUAGENS Formais. Oficina da Net, 21 ago. 2008. Disponível em: https://www.oficinadanet.com.br/artigo/1087/linguagens_formais. Acesso em: 04 ago. 2023.
 
O trecho acima apresenta conceitos fundamentais sobre as Linguagens Formais. Com base nestas informações, leia responda aos enunciados a seguir:
 
a) Nas linguagens formais, os principais sistemas geradores disponíveis são as gramáticas. Em 1958, Noam Chomsky escreveu a classificação de gramáticas formais, mais conhecida
como Hierarquia de Chomsky. Quantas são as gramáticas elaboradas por Chomsky, e quais as suas denominações?
b) Pensando na aplicação das gramáticas de Chomsky, qual delas é usada em análise léxica?
c) Vimos que alguns exemplos de uso das linguagens formais se dão nas linguagens naturais, nas linguagens de programação e nos protocolos de comunicação. Pensando nos
protocolos de comunicação e nas linguagens naturais, como as linguagens formais podem ser aplicadas?
 
Orientações:
- Sua resposta deve ser um texto único e conter, aproximadamente, entre 10 e 20 linhas (considerando fonte padrão, tamanho 12).
- Observe as normas gramaticais, pois erros ortográficos, de coesão e coerência podem descontar pontuação.
- Busque ao menos uma leitura para embasar sua resposta (pode ser em livros acadêmicos, artigos e/ou notícias), e insira a referência pesquisada após o seu texto.
- A atividade é individual e deve ser autoral. Trechos copiados da internet ou de outras fontes de pesquisa, ou mesmo das atividades de outro colega, farão zerar a nota, pois
configuram plágio.
0 palavras
Enviar teste
Editar Visualizar Inserir Formato Ferramentas Tabela
12pt Parágrafo
A+
A
A-
27/02/2026 16:07 Teste: Atividade 1
https://famonline.instructure.com/courses/51114/quizzes/244335/take 2/2
A+
A
A-