Obtendo express es regulares simplicadas a partir de o aut matos de estados nitos o

Matheus S. Silva1 , Vinicius A. Issa2

1

Instituto de Ci ncias Exatas e Biol gicas Departamento de Computacao e o Universidade Federal de Ouro Preto (UFOP) Ouro Preto MG Brazil

Abstract. This paper describes the steps in the transformation of a Finite Automaton (FA) into a Regular Expression (RE) following all the steps to obtain the expression. Resumo. Este trabalho descreve os passos da transformacao de uma Aut mato o Finito (AF) em uma Express o Regular (ER), acompanhando todos os passos a at a obtencao da express o. e a

1. Introducao
Aut matos nitos pertencem a um modelo matem tico capaz de reconhecer cadeias de o a linguagens regulares. O estudo dos AF e parte importante dos fundamentos da teoria da computacao. O modelo capaz de gerar cadeias de linguagens regulares s o as express es a o regulares (as mesmas usadas em diversas linguagens de programacao, como Java).

2. Desenvolvimento
Segue abaixo uma breve explicacao de aut matos nitos e express es regulares. o o 2.1. Aut mato Finito o Um aut mato funciona como um reconhecedor de uma determinada linguaguem e serve o para modelar uma m quina ou computador simples. Um conceito fundamental em a aut matos nitos e o conceito de uma quantidade limitada de estados. Este conceito e o aplicado a qualquer sistema, por exemplo, um r dio que pode estar ligado ou desligado, a sendo assim um aut mato com dois estados. o 2.2. Express es Regulares o [1 ] Express es regulares prov uma forma concisa e exvel de identifar cadeias de caro e acteres de interesse, como caracteres particulares, palavras ou padr es de caracteres. Exo press es regulares s o escritas numa linguaguem formal que pode ser interpretada por um o a processador de express o regular. a 2.3. Transformando AF em ER [2 ] Express es regulares e aut matos nitos s o equivalentes no seu poder descritivo. o o a Esse fato e um tanto not vel, porque aut matos nitos e express es regulares aparentam a o o supercialmente ser um tanto diferentes. Entretanto, qualquer express o regular pode a ser convertida em um aut mato nito que reconhece a linguagem que ela descreve, e o vice-versa. Lembrando que uma linguagem regular e aquela que e reconhecida por algum aut mato nito. o Teorema: Se L e aceita por um aut mato nito determinstico ent o L e representada o a por uma express o regular a

 Figure 1. Automato Finito Determinstico

Passo 1 Como exemplo, consideremos o seguinte AF a ser transformado:

Figure 2. Passo 1

Passo 2 O procedimento consiste em remover um a um os estados do AF, substituindo o estado removido por novas transicoes cujos r tulos s o os t tulos das transicoes o a o de todos os possveis caminhos passando por aquele n . o Passo 3 Escolha um dos estados para colapsar. No nosso exemplo, q2 foi escolhido. Verique quais s o os caminhos possveis passando por aquele n . Crie novas a o es ligando os estados remanescentes como descrito acima. No exemplo, transico criaremos uma transicao ligando q0 a q1 com r tulo 00 e de q0 a q3 com r tulo o o 01. Verique no novo aut mato se as novas transicoes realmente representam os camo inhos removidos. Passo 4 Escolha um novo estado para remover. Passo 5 Escolha outro estado para remover. No exemplo, removeremos agora q3. Novamente crie novas transicoes representando os caminhos passando por aquele

Figure 3. Passo 3

estado. Foi criada uma transicao entre q0 e q4 com r tulo 001 e entre q1 e q4 com o r tulo 01. o

Figure 4. Passo 5

Passo 6 Algumas vezes, voc precisa representar caminhos circulares usando a operacao e de fecho de Kleene (* - asterisco), e fazer passos intermedi rios. Na gura, os a caminhos entre q0 e q4 que passavam por q1 foram convertidos para transicoes. Passo 7 Continue a remover os estados, at que sobre somente um estado inicial e um e estado nal. Escreva a express o regular representando os lacos com operacoes a de fecho.

Figure 5. Passo 6

Figure 6. Passo 7

3. Conclus o a
Um express o regular pode ser facilmente obtida a partir de um aut mato nito, basta a o seguir os passos corretamente.

References
1. Express o regular. http://pt.wikipedia.org/wiki/Express%C3%A3o_ a regular. 2. Converter um aut mato nito em express o regular. http://pt.wikihow. o a com/Converter-um-Aut%C3%B4mato-Finito-em-Express%C3% A3o-Regular.