Resumo de Linguagens Formais e Complexidade Computacional
Classificado em Inglês
Escrito em em português com um tamanho de 3,38 KB
chap. 3 Linguagem:
turing-reconhecivel (recursively enumerável): - Oil
Turing decidível (linguagem recursive): - Oil and rejeitar
ch. 4
linguagens Decidíveis: AAFD, Aafn,
Aexp.Reg (se uma gera uma expressão regular given cadeia)
Vafd (se um determ finite automaton. Aceita alguma cadeia)
EQafd (linguaegm oil per se a um é igual AFD)
-1. L (C) * = (L (A) ^ (L (B)) ') U ((L (A))' ^ L (B))
-2. Testa avacuidade on C.
* A classe é das regular linguagens óperações dated as of complementação sob, and interseção união;
Aglc (se uma gera uma cadeia specific GLC)
Vglc (GLC gera alguma se uma cadeia)
All Linguagem livre-do-context; ---
Theorem 4.11: "Amt indecidível é"
Theorem 4.12: "Uma linguagem decidível se e somente é ela é is turing-... Continue a ler "Resumo de Linguagens Formais e Complexidade Computacional" »