Seminário acadêmico aborda aplicações da Máquina de Turing

20/6/2025

O legado do matemático britânico Alan Turing (1912–1954) foi tema do seminário acadêmico realizado nesta quarta-feira (18). Convidado para o encontro, o estudante de mestrado em Matemática Pura do IMPA João Colombo apresentou a tese de TCC da graduação em Ciência da Computação pela UFSC (Universidade Federal de Santa Catarina) aos graduandos do IMPA Tech. O trabalho propõe uma variante da Máquina de Turing não determinística para computar funções matemáticas.

A Máquina de Turing é um modelo teórico criado pelo matemático para representar o funcionamento básico de um computador. Ela consiste em uma fita infinita, como se fosse uma memória, e um “leitor” que lê e escreve símbolos, seguindo regras específicas. Apesar de ser um modelo abstrato, é fundamental para mostrar os limites da computação e o que pode, ou não, ser resolvido por um algoritmo.

O trabalho de Colombo propõe uma adaptação do modelo não determinístico, capaz de explorar diferentes caminhos simultaneamente, mas de forma controlada, garantindo uma única saída correta para cada entrada. “Ele pode ser utilizado para modelar algoritmos, é uma nova forma de pensar e classificá-los. Ao analisar a complexidade de um problema, podemos estudá-lo e otimizar os recursos”, explicou o mestrando.

Além da graduação em Ciência da Computação, Colombo é formado em Matemática, também pela UFSC, e atualmente é auxiliar de curso da disciplina Programação I no IMPA Tech. “É legal estar nesse outro lugar, ver as dificuldades dos alunos e explicar conceitos. Gosto bastante de ajudá-los a entender e aprendemos muito juntos”, disse.

O seminário foi promovido pelo professor do IMPA Tech Uéverton Souza. A escolha do tema coincide com a celebração do nascimento de Alan Turing, que completaria 113 anos na próxima segunda-feira (23). Até os dias atuais, o legado do matemático é fundamental para a computação moderna. “Quando Turing formulou a teoria da máquina, não existiam computadores. O modelo que ele propõe, à princípio teórico, trouxe à tona como uma máquina poderia funcionar para que a computação existisse. A Máquina de Turing é a alma dos computadores modernos”, destacou o professor.

O aluno Vinicius Prestes gosta da área da Computação e curtiu o tema apresentado. “A Máquina de Turing é como se fosse uma das grandes bases da área, ela mostra como algoritmos podem agir sobre valores que recebem para retornar outros resultados. É um exemplo primitivo, mas muito completo. O Colombo trouxe a proposta de um novo modelo da Máquina, que não consegue resolver mais problemas, mas que resolve problemas de forma mais eficiente, mais rapidamente.”

A palestra desta quarta-feira foi o último seminário deste semestre, encerrando o ciclo de atividades complementares pelo professor Uéverton, que destacou o caráter interdisciplinar dos encontros. “Os alunos puderam ver todas as ênfases misturadas e aplicadas de forma prática. Além disso, trocamos experiências com outras instituições, como UFF, UERJ, FGV e CBPF. Conseguimos misturar bastante instituições e mostramos aos alunos o que pode ser feito após a graduação, seja na pós ou no mercado de trabalho. Certamente pretendo repetir no próximo semestre, ampliando a diversidade de temas.”