DFA e NFA de Linguagens Formais e Autômatos um pouco de consideração

A questão do livro didático, não há nenhuma resolução, análise pessoal registro
Aqui Insert Picture Descrição
é de pelo menos 2 a n- th poder, como derivar?
Primeira lista com algumas mesas, para ver se a lei:
Aqui Insert Picture Descrição
Esta é a lista dos primeiros 11 estados, podemos encontrar:

  • Em primeiro lugar, apenas um conjunto de estado do elemento só é {q0};
  • Tem dois estados é o conjunto de elementos {q0, q1}, {q0, Q2}, {q0, q3} ... {q0, qn}
  • Tem três estados é o conjunto de elementos {q0, Q1, Q2}, {q0, q1q3}, {q0, q1, Q4} ... {q0, q1, qn} ... {q0, Q2, Q3} ...

De acordo com os casos acima referidos, além de um subconjunto da configuração, pode ser conhecido, de facto, é composto por um conjunto de permutações.
Nós não olha para cada q0 grupo (número q0 é C (n, 0), isto é, um) Isto é porque cada conjunto de elemento deve ter estado, a combinação do processo é
{Q1}, {} q2 ... {Qn} + {Ql, Q2}, {Ql, Q3} ... {Ql, Qn}, {Q2, Q3} ... + {Ql, Q2, Q3 ..., Qn}
{Ql}, {Q2} ... {Qn } para o número de C (,. n- 1),
{Ql, Q2}, {Ql, Q3} ... {Ql, Qn}, {Q2, Q3 ...} sobre o número de C (n-, 2),
{Ql, Q2, Q3 ..., qn} para o número de C (N, N)
, em seguida, substituir com q0, soma de C (n, 0) + C (n, 1) + C (N, 2) + ... C ( N-, N-) 2 = n-

Então, por que é pelo menos 2 a n- th-lo?
Se menos do que 2 a N- número, tal como 2 os n- -1 meses de TI? Assumindo que o conjunto número máximo é 2 N- - K, então, obviamente, incompatível com as conclusões acima podemos inferir que há um conjunto de estados de nosso alcance, dependendo da composição mais semelhante ao de um conjunto de C (m, n), então Se um estado não for atingido, então o número de todos os estados definido para ser menos um, isto é, 2 N-. 1- th. Por outro lado, se for alcançado, há dois n- .
Ou prova indutiva:
apenas um elemento de estado como
Aqui Insert Picture Descrição
é óbvio para satisfazer a expressão acima, o número mínimo de estados é 2;
assumindo que C (n-1,0) + C (n-1,1) + C (n-1 , 2) + ... C (n--. 1 ,. 1-N-) 2 = n--. 1 contém, um estado no último elemento adicionado, em seguida, C (n-1,0) + C (n-1,1) + C (n-1,2) + ... C (n--. 1 ,. 1-N-) + 2 n--. 1 = 2 n--. 1 + 2 n--. 1 = 2 N- , isto é, de estabelecimento.
Por isso, mais 2 n--. 1 , uma vez que tem sido a presença de 2 N-. 1- estados definidos de acordo com as leis do exemplo acima descrito, cada elemento pode ser aumentada, para duplicar o número de estados.
Desde q0 é entendido que a adição individual de um total de n + 1 estados elemento pode ter um máximo de 2 n + 1 combinações de estados estabelecidos.

Publicado 222 artigos originais · ganhou elogios 48 · vê 20000 +

Acho que você gosta

Origin blog.csdn.net/qq_44116998/article/details/104792010
Recomendado
Clasificación