Modelagem de gramticas e autmatos usando UML e Ruby

Victor Dias Marlon de Alencar Delmiro Daladier Dailton Filho Daniel Simio

Introduo

Gramticas Linguagem Autmatos e Reconhecedores UML Ruby

Gramticas
Segundo o Dicionrio Aurlio:
1 - estudo ou tratado dos fatos da linguagem das leis naturais que a regulam; 2 - livro onde se expem as regras da linguagem.

Gramticas

Dispositivo que gera CADEIAS; Baseia-se em regras de Substituio; Possui Formalismo:

G = (V; E; P; S )

Gramticas

V
E S P

Vocabulrio da Gramtica
Alfabeto Raiz da Gramtica Regras de Produo

Linguagem

Conjunto de cadeias geradas por uma gramtica; Contm todas as frases derivadas a partir de um smbolo inicial; Terminais e no terminais; Derivaes;

Autmatos

Representados por notaes algbricas ou diagramas; Determinstico ou No-Determinstico; Possui Formalismo: A = (Q, , , q0 , F )

Autmatos

Q F

Conjunto finito de estados Alfabeto de entrada, no-vazio Conjunto de estados finais

q0

Estado inicial
Funo de Transio

Autmatos - Reconhecedores

Sistema que aceita apenas palavras, frases ou sentenas que pertenam uma determinada linguagem;

UML - Unified Modeling Language);

Modelos ajudam a visualizar como deve ser a forma final do sistema; Modelos permitem especificar comportamento e/ou estrutura do software; So usados como guia para construo; So usados para documentao do sistema;

UML

Ruby

Linguagem de programao criada em 1995 no Japo Interpretada Multiparadigma Tipagem dinmica

require './Clonagem' require './Fita' class FitaLimitada<Fita

def iniciar( cadeia ) @celulas = "<" + cadeia + ">" @cursor = 1 end

def ler() return @celulas [@cursor].chr() end def avancar() n = @celulas.length() -2 @cursor += 1 if ((0 .. n).include?(@cursor ) ) end