Autômato Validador de Atribuições

Atividade proposta pelo Prof. Charles Ferreira aos alunos de Engenharia de Computação

Descrição da atividade

Deve ser modelado e implementado um autômato que faça a validação de atribuições. Uma atribuição possui a seguinte sintaxe:

identificador op_atrib (identificador | numero) pv

Sendo que:

• identificador: inicia por uma letra minúscula, seguido por uma quantidade qualquer de letras minúsculas, dígitos ou underline.

• op_atrib: é representado pelo caractere “=”

• numero: inicia por um dígito, seguido por uma quantidade qualquer de dígitos, podendo ter opcionalmente a parte fracionária. Caso ele tenha a parte fracionária, ele recebe o caractere “.” , seguido de uma sequência de um ou mais dígitos.

• pv: é representado pelo caractere ‘;’.

Os tokens são representados pelas seguintes expressões regulares:

• identificador: [a-z] ( [a-z] | [0-9] | [_])*

• op_atrib: ‘=’

• numero: ( [0-9]([0-9])* ) | ( [0-9]([0-9])*‘.’ [0-9]([0-9])* )

• pv: ‘;’

Como rodar o programa?

python3 run.py

Para encerrar a execução basta digitar "exit"