Qualificação de Mestrado do aluno Thales Delfino, o dia 10/05/2018 às 10:00h.

Qualificação de Mestrado do aluno Thales Delfino, o dia 10/05/2018 às 10:00h, na Sala de Seminários do DECOM - ICEB III.

Título: Certified Virtual Machine-based Parsing of Regular Expressions

Resumo: Regular expressions (REs) are pervasive in computing. We use RE in text editors, string search tools (like GNU-Grep) and lexical analyzers generators. Most of these tools rely on converting REs to its corresponding finite state machine or use REs derivatives for directly parse an input string. In this work, we want to investigate the suitability of another approach:
instead of using derivatives or generate a finite state machine for a given RE, we will develop a virtual machine (VM) for parsing regular languages, in such a way that a RE is merely a program executed by the VM over the input string. We also intend to verify theoretical properties of the semantics of the developed VM and prove the correctness of its parsing algorithm.