Minimização de Automatos

Minimização de Autômatos Alexsander, Fernando, Marcelo e Kelvin Como Surgiu • O algoritmo de Moore para minimização de AFD foi proposto em (1956). Ele mantém uma partição que inicia separando os estados de aceitação dos estados de rejeição, e repetidamente refina a partição até que nenhum outro refinamento possa ser efetuado. Em cada passo, ele substitui a partição atual com o refinamento mais grosso das s + 1 partições, das quais uma é a atual e as outras são as préimagens da partição atual sob as funções de transição para cada um dos símbolos de entrada. O algoritmo termina quando essa substituição não muda a partição atual. Como Surgiu • Um algoritmo para mesclar estados indistinguíveis do AFD, elaborado por Hopcroft (1971). É baseado no refinamento de partição, no qual estados do AFD são particionados em grupos, de acordo com seu comportamento. Esses grupos representam classes de equivalência, pela qual todos dois estados da mesma partição são equivalentes se eles têm o mesmo comportamento para todas as sequências de entrada. Isto é, para todo dois estados p_1 e p_2 que pertencem à mesma classe de equivalência da partição P, temos que para qualquer palavra de entrada w, ao seguir-se as transições determinadas por w partindo dos estados p_1 e p_2, ambos os estados serão levados a estados de aceitação, ou ambos a estados de rejeição, não deveria ser possível a w levar p_1 a um estado de aceitação e p_2 a um estado de rejeição, ou vice-versa

a* Expressões Regulares (ER) AF e ER Equivalências entre AFD, AFND, AF-, ER 1 Expressões Regulares (ER) Uma ER sobre um alfabeto  é definida como: a)  é uma ER e denota a linguagem vazia b)  é uma ER e denota a linguagem contendo a palavra vazia, ie {} c) Qualquer símbolo x   é uma ER e denota a linguagem {x} d) Se r e s são ER denotando as linguagens R e S então: • • • (r+s) ou (r|s) é ER e denota a linguagem R  S (rs) é ER e denota a linguagem RS =…

convenções de notação e simplificações, procurando facilitar sua representação e o estudo de suas propriedades. Exemplo de convenções: ao invés de se escrever , em geral utiliza-se apenas uma letra maiúscula (V) para representar tais tipos de construção. Além disso, na Teoria da Computação, em geral procura-se estudar classes de linguagens ao invés de uma linguagem específica. A seguir, algumas definições essenciais para o estudo de Linguagens Formais: 2.1 Alfabeto (Σ): é um…

............4 Cronograma de Atividades .............................................................5 Capítulo 1 – Autômatos Finitos Determinísticos ...............................7 1.1 Conceitos Iniciais ..........................................................................7 1.2 Definição Formal.........................................................................13 Capítulo 2 – Autômatos Finitos Não-Determinísticos .....................23 2.1 Uma Visão Informal…

Prova “SÚMULA DO TST Nº 338 JORNADA DE TRABALHO. REGISTRO. ÔNUS DA PROVA (INCORPORADAS AS ORIENTAÇÕES JURISPRUDENCIAIS NºS 234 E 306 DA SBDI-1) - RES. 129/2005, DJ 20, 22 E 25.04.2005: I - É ônus do empregador que conta com mais de 10 (dez) empregados o registro da jornada de trabalho na forma do art. 74, § 2º, da CLT. A não-apresentação injustificada dos controles de frequência gera presunção relativa de veracidade da jornada de trabalho, a qual pode ser elidida por prova em contrário.…

III A M EMÓRIA COLECTIVA I. A historiografia Muitas influências se conjugavam, na sociedade feudal, para inspirarem o gosto pelo passado. A religião, como livros sagrados, tinha livros de história; as suas festas comemoravam acontecimentos; sob as suas formas mais populares, alimentava -se de contos tecidos sobre santos muito antigos; finalmente, ao afirmar que a humanidade estava perto do seu fim, afastava a ilusão que arrasta as idades cheias de esperanças a interessarem-se…

fêmea, feminino. estrobo [elem. comp.; grego]: rotação, turbilhão. estrofo [elem. comp.; grego]: torcer. estruma [elem. comp.; latim]: bócio, escrófula. esurio [elem. comp.; latim]: fome. eta [elem. comp.; latim]: idade. etimo: o mesmo que etio. etio [elem. comp.; grego]: causa, origem. etmo [elem. comp.; grego]: crivo, peneira. etno [elem. comp.; grego]: raça, nação, povo. etrio [elem. comp.; grego]: ar. eu1 [pref.; grego]: noção de bem, bom, belo. eu2 [suf.; latim]:…