computação

Lema 01: Fecho Positivo com um único elemento. O fecho positivo com um único elemento é geralmente formado por um loop no estado que seu elemento obrigatório o aponta.
Lema 02: Fecho Estrela (Estrela de Kleene) com um único elemento. O fecho estrela com um único elemento é geralmente formado por um loop simples na sua devia posição. Neste caso NÃO se deve criar estados.
Lema 03: Fecho Positivo com dois ou mais elementos. O fecho positivo com dois ou mais elementos é representado retornando uma transição para o mesmo local para onde aponta o primeiro elemento do fecho.
Importante: As transições que representam um mesmo elemento devem apontar sempre para o mesmo lugar.
Lema 04: Fecho Estrela com dois ou mais elementos. O fecho estrela com dois ou mais elementos é representado com a criação de x novos estados, onde x é a quantidade de elementos constantes/positivos que se encontram dentro do fecho menos um. Esses novos estados fecharão um loop no estado onde se encontra o fecho na linguagem.
Lema 05: Fechos estrelas sucessivos. Dois ou mais fechos sucessivos caracterizam elementos diferentes que precisam de loop. Neste caso, apenas o primeiro elemento recebe um loop simples, para os demais é criado um novo estado para suprir a necessidade do loop.
Importante: Loops que representam elementos diferentes não podem ficar no mesmo estado.
Lema 06: Regra obriga duas saídas. Quando as regras são aplicadas corretamente e um loop gera duas ou mais saídas iguais, o loop causador do não-determinismo deve seguir para o próximo estado.
Lema 07: Cadeia mínima é vazia. Quando a cadeia mínima é vazia, o estado inicial é um dos finais. Deve-se resolver a linguagem desprezando o fecho e, no final, usar a regra do lema 03.
Lema 09: União. Na União, cada lado deve começar no estado inicial, porém, os elementos que fazem parte de uma estrutura, NÃO podem, de forma alguma, estarem ligados as