Tag proof-techniques - Questa è pagina 9 - GeneraCodice

Dimostra che la seguente lingua non è regolare: $ {0^i1^j: i neq j } $ [duplicato

https://www.generacodice.com/it/articolo/1621525/dimostra-che-la-seguente-lingua-non-e-regolare-0-i1-j-i-neq-j-duplicato
  finite-automata  -  formal-languages  -  regular-languages  -  proof-techniques
cs.stackexchange cs.stackexchange

{A^n: n è un prodotto di esattamente due numeri numerosi} regolare?

https://www.generacodice.com/it/articolo/1621003/a-n-n-e-un-prodotto-di-esattamente-due-numeri-numerosi-regolare
  formal-languages  -  pumping-lemma  -  regular-languages  -  proof-techniques
cs.stackexchange cs.stackexchange

Codice costruita dall'algoritmo di Huffman ha una lunghezza media del massimo n

https://www.generacodice.com/it/articolo/1620874/codice-costruita-dall-algoritmo-di-huffman-ha-una-lunghezza-media-del-massimo-n
  information-theory  -  algorithms  -  proof-techniques  -  huffman-coding
cs.stackexchange cs.stackexchange

Dimostrare con i principi di co-induzione

https://www.generacodice.com/it/articolo/1620578/dimostrare-con-i-principi-di-co-induzione
  formal-methods  -  coq  -  proof-techniques  -  coinduction
cs.stackexchange cs.stackexchange

Come dimostrare per contraddizione che ogni linguaggio ereditario non vuoto contiene la stringa vuota?

https://www.generacodice.com/it/articolo/1616578/come-dimostrare-per-contraddizione-che-ogni-linguaggio-ereditario-non-vuoto-contiene-la-stringa-vuota
  proof-techniques  -  check-my-answer
cs.stackexchange cs.stackexchange

Casualmente costruito binari di ricerca, alberi

https://www.generacodice.com/it/articolo/1615403/casualmente-costruito-binari-di-ricerca-alberi
  data-structures  -  probability-theory  -  algorithm-analysis  -  binary-trees  -  proof-techniques
cs.stackexchange cs.stackexchange

La legge della media e della decidibilità escluse

https://www.generacodice.com/it/articolo/1615193/la-legge-della-media-e-della-decidibilita-escluse
  logic  -  proof-techniques
cs.stackexchange cs.stackexchange

È decidabile se un automobile pushdown accetterà una parola? [duplicare

https://www.generacodice.com/it/articolo/1615187/e-decidabile-se-un-automobile-pushdown-accettera-una-parola-duplicare
  computability  -  pushdown-automata  -  proof-techniques
cs.stackexchange cs.stackexchange

Mostrare che ci sono infinitamente più problemi di quanto saremo mai in grado di calcolare

https://www.generacodice.com/it/articolo/1615102/mostrare-che-ci-sono-infinitamente-piu-problemi-di-quanto-saremo-mai-in-grado-di-calcolare
  computability  -  proof-techniques  -  decision-problem  -  uncountability
cs.stackexchange cs.stackexchange

Come ridurre $ {W mid | t (m_w) | geq 42 } $ al problema di arresto?

https://www.generacodice.com/it/articolo/1613365/come-ridurre-w-mid-t-m-w-geq-42-al-problema-di-arresto
  turing-machines  -  formal-languages  -  proof-techniques  -  reductions
cs.stackexchange cs.stackexchange
Risultati trovati: 577
scroll top