Preguntas etiquetadas con encoding-scheme

28
¿Por qué el tipo de vacío de C no es análogo al tipo vacío / inferior?

Wikipedia, así como otras fuentes que he encontrado, enumeran el voidtipo de C como un tipo de unidad en lugar de un tipo vacío. Esto me parece confuso, ya que me parece que se voidajusta mejor a la definición de un tipo vacío / inferior. No habito valores void, por lo que puedo decir. Una...

type-theory c logic modal-logic coq equality coinduction artificial-intelligence computer-architecture compilers asymptotics formal-languages asymptotics landau-notation asymptotics turing-machines optimization decision-problem rice-theorem algorithms arithmetic floating-point automata finite-automata data-structures search-trees balanced-search-trees complexity-theory asymptotics amortized-analysis complexity-theory graphs np-complete reductions np-hard algorithms string-metrics computability artificial-intelligence halting-problem turing-machines computation-models graph-theory terminology complexity-theory decision-problem polynomial-time algorithms algorithm-analysis optimization runtime-analysis loops turing-machines computation-models recurrence-relation master-theorem complexity-theory asymptotics parallel-computing landau-notation terminology optimization decision-problem complexity-theory polynomial-time counting coding-theory permutations encoding-scheme error-correcting-codes machine-learning natural-language-processing algorithms graphs social-networks network-analysis relational-algebra constraint-satisfaction polymorphisms algorithms graphs trees
21
¿Por qué es este código únicamente decodificable?

Alfabeto fuente: { a , b , c , d, e , f}{a,b,c,d,e,f}\{a, b, c, d, e, f\} Alfabeto de código: { 0 , 1 }{0,1}\{0, 1\} a : 0101a:0101a\colon 0101 b : 1001b:1001b\colon 1001 c : 10c:10c\colon 10 re: 000d:000d\colon 000 e : 11e:11e\colon 11 F: 100f:100f\colon 100 Pensé que para que un código fuera...

encoding-scheme