Linguagens Fomais e Autômatos - A1

Prévia do material em texto

De acordo com material de estudo desse tópico, um dos principais campos a título de exemplo são as linguagens formais aplicadas ao desenvolvimento Web, tendo em vista que a Web é, sem dúvida, o maior, senão um dos maiores, passos a evolução já dados pela humanidade. Isso somente ocorreu tendo em vista o emprego dos estudos das linguagens formais e autômatos. As linguagens de Hipertexto, tem sua origem diretamente atrelada aos estudos das linguagens regulares, assim, a teoria das linguagens regulares e dos autômatos foi essencial na elaboração de soluções práticas, como a Web. Nos dias de hoje podemos citar como exemplo um Drone de uso militar, um veículo aéreo não tripulado (UAV), é um a aeronave sem qualquer piloto humano, tripulação ou passageiros a bordo. Os UAVs são um componente de um sistema de aeronaves não tripuladas (UAS), que incluem adicionalmente um controlador terrestre e um sistema de comunicações com o UAV. O voo de UAVs pode operar sob controle remoto por um operador humano, como aeronaves remotamente pilotadas (RPA), ou com vários graus de autonomia, como assistência ao piloto automático, até aeronaves totalmente autônomas que não têm previsão de intervenção humana, essa seria uma boa definição de autômatos não mais finitos e autômatos com infinitos estados possíveis. Na computação quântica, o autômato quântico finito ou QFA é uma analogia quântica do autômato probabilístico. Autômatos probabilísticos estão relacionados à computação quântica da mesma maneira que o autômato finito está relacionado à máquina de Turing. Muitos tipos de autômatos podem ser definidos, incluindo measure-once (Medir uma vez) e measure-many (Medir várias vezes). Autômatos quânticos de estados finitos podem ser entendidos como uma quantização das sub mudanças de tipo finito, ou uma quantização das cadeias de Markov. QFA é, de certa maneira, um caso especial de autômato geométrico finito ou autômato topológico finito. Em resumo a computação quântica, até nos dias de hoje se resume na capacidade probabilística de super processamento com qubit em teoria, porém, ainda é um campo de exploração sem conotação cientifica aceitável para uso imediato e está alinhado com os conceitos dos autômatos não mais finitos e autômatos com infinitos estados possíveis aqui apresentados.