Als «coding-theory» getaggte Fragen

Die Untersuchung von Datendarstellungen, die Fehlererkennung, Fehlerkorrektur und / oder Komprimierung ermöglichen.

28
Warum ist der leere Typ von C nicht analog zum leeren / unteren Typ?

Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . Eine...

11
Verfeinerungsarten ableiten

Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...

10
Die Fehlerkorrekturrate ist irreführend

In der Codierungstheorie bedeutet "wie gut ein Code ist", wie viele Kanalfehler korrigiert oder besser ausgedrückt, der maximale Rauschpegel, mit dem der Code umgehen kann. Um bessere Codes zu erhalten, werden die Codes mit einem großen Alphabet (anstatt einem binären) entworfen. Und dann ist der...

9
Huffman-Baum und maximale Tiefe

Ist es bei Kenntnis der Häufigkeit der einzelnen Symbole möglich, die maximale Höhe des Baums zu bestimmen, ohne den Huffman-Algorithmus anzuwenden? Gibt es eine Formel, die diese Baumhöhe

7
Binärcode mit Einschränkung

Angenommen, ich habe ein Alphabet mit n Symbolen. Ich kann sie effizient mit codieren⌈log2n⌉⌈log2⁡n⌉\lceil \log_2n\rceil-bits Strings. Zum Beispiel, wenn n = 8: A: 0 0 0 B: 0 0 1 C: 0 1 0 D: 0 1 1 E: 1 0 0 F: 1 0 1 G: 1 1 0 H: 1 1 1 Jetzt habe ich die zusätzliche Einschränkung, dass jede Spalte...