O professor Marcus Ramos do Colegiado de Engenharia da Computação (Cecomp) da Universidade Federal do Vale do São Francisco (Univasf) é um dos 10 finalistas do Prêmio Jabuti 2010 na categoria Ciências Exatas, Tecnologia e Informática, com o livro “Linguagens Formais: Teoria, Modelagem e Implementação”.

A obra, lançada em abril de 2009, apresenta a teoria matemática das linguagens discutindo a sua classificação e as suas propriedades. Essa teoria é fundamental em áreas mais tecnológicas da computação, como por exemplo, no reconhecimento, processamento e tradução de linguagens e, na área científica, no estudo da decidibilidade e complexidade de problemas. De acordo o professor Marcus Ramos, o livro representa uma iniciativa no sentido de tornar mais fácil o entendimento de um assunto normalmente considerado difícil pelos alunos, por envolver muita lógica, abstração e matemática.

O resultado final do melhor livro do ano será no dia primeiro de outubro de 2010.

O Prêmio Jabuti, concedido desde 1958, é o mais importante prêmio literário do Brasil e é oferecido pela Câmara Brasileira do Livro.