Atividade 1 - Linguagens Formais e Automatos

Prévia do material em texto

Atividade 1 – LINGUAGENS FORMAIS E AUTÔMATOS
Com base nos estudos realizados nesta unidade, você pôde verificar que a tecnologia base para o desenvolvimento de programas deriva diretamente dos estudos sobre as linguagens formais e sobre os autômatos. Logo, o avanço tecnológico oriundo desses dois pilares foi fundamental para o contínuo aprimoramento tecnológico. No que se refere aos autômatos finitos determinísticos e aos autômatos finitos não determinísticos - desde a sua concepção, passando pela máquina de Turing, até os computadores quânticos mais modernos, isto é, até a contemporaneidade -, temos visto mudanças extraordinárias que alteraram as formas com que a própria tecnologia tem se apresentado, o que, consequentemente, modifica as relações mais comuns na sociedade, como as comunicações entre indivíduos.
 
Considere o que você aprendeu acerca das transformações oriundas dos autômatos finitos determinísticos e dos autômatos finitos não determinísticos, os quais, criando condições para que as linguagens formais se estabelecessem como fonte de criação de programas, possibilitaram o avanço de todos os ramos da ciência e, nos dias atuais, o sucesso da transformação digital em todos os países.
Com base nessa consideração, quais seriam, nos dias de hoje, as possibilidades propiciadas pelas novas tecnologias oriundas dos autômatos finitos determinísticos e dos autômatos finitos não determinísticos que poderiam impactar positivamente os próximos anos? Em que medida o avanço tecnológico pode derivar nos cenários, nos quais teríamos, por exemplo, autômatos não mais finitos, mas autômatos com infinitos estados possíveis? Como isso se adere à computação quântica? Com esses questionamentos em mente, procure posicionar-se considerando as perspectivas sobre as temáticas apresentadas, a fim de contribuir para a ampliação dos conhecimentos analisados.
Resposta: 
1 - Com base nessa consideração, quais seriam, nos dias de hoje, as possibilidades propiciadas pelas novas tecnologias oriundas dos autômatos finitos determinísticos e dos autômatos finitos não determinísticos que poderiam impactar positivamente os próximos anos?
Autômatos determinísticos finitos e movimento finito não determinístico finito representam a base teórica comum das linguagens formais. A partir da linguística clássica, a teoria dos autômatos, que é o assunto básico da ciência da computação, o estudo dos autômatos produziu muitas máquinas que são consideradas pré-computadores. Portanto, os próprios computadores têm se beneficiado, no ciclo de evolução computacional, do estudo e aprendizado de autômatos. Autômatos finitos determinísticos (DFA) são máquinas de estados finitos, ou seja, aceitam ou rejeitam strings de sinais, criando ramificações únicas para cada entrada. Um autômato finito determinístico é um conceito matemático abstrato, por isso a matemática é usada para descrever seu comportamento. Porém, no caso de um autômato determinístico, temos aplicações práticas na criação de hardware e software que solucionam problemas específicos. Nos anos seguintes, devido ao crescimento de usuários de smartphones, a configuração a partir de e-mail se faz necessária. Conceitos de AFDs, para ver como isso é possível com o correio eletrônico. Isso acontece quando você acessa o e-mail fornecido, ignorando os problemas de comunicação. Nesta tecnologia finita determinista.
2 - Em que medida o avanço tecnológico pode derivar nos cenários, nos quais teríamos, por exemplo, autômatos não mais finitos, mas autômatos com infinitos estados possíveis?
A teoria dos autômatos é o estudo de máquinas abstratas ou autômatos e os problemas computacionais que podem ser resolvidos usando esses objetos. É o objetivo de pesquisa tanto da Ciência da Computação quanto da Matemática Discreta. A palavra autômato vem da palavra grega αὐτόματα que significa " autuação" (em tradução livre), ou seja, sem influência externa.
No caso de autômatos com infinitos estados possíveis, uma máquina de estados infinitos produz recursos infinitos, que serão representados por equações com círculos concêntricos. Essa revolução tecnológica, em termos de mudança, pode ser feita dentro da computação quântica. Nesse caso, os autômatos desempenham um papel importante na teoria da computação, por meio do uso da teoria quântica, da definição de integradores complexos, do processamento da inteligência artificial nas situações mais difíceis, da análise sintática e da verificação formal.
3 - Como isso se adere à computação quântica?
Na computação quântica, ele vive em um estado infinito, em um autômato quântico finito. Vejamos os 2 conceitos:
Estados finitos: Um autômato que contém apenas um número finito de estados. A definição da apresentação acima descreve autômatos com números finitos de estados.
Estados infinitos: Um autômato que pode não ter um número finito de estados ou um número incontável de estados. Por exemplo, um autômato quântico finito ou um autômato topológico tem um número infinito e incontável de estados.