Publication | Closed Access
Sofic systems and encoding data
122
Citations
21
References
1985
Year
EngineeringInformation ForensicsSofic SystemsSymbolic ComputationFormal VerificationSerialization LanguageData ScienceSymbolic DynamicsDiscrete MathematicsCoding TheoryData ManagementVariable-length CodeAlgebraic Coding TheorySymbolic ManipulationSame ProblemComputer ScienceData CompressionCertain Input-restricted ChannelsError Correction CodeAutomated ReasoningFormal MethodsSymbolic DynamicSystem SoftwareData Modeling
Techniques of symbolic dynamics are applied to prove the existence of codes suitable for certain input-restricted channels. This generalizes the earlier work of Adler, Coppersmith, and Hassner on the same problem.
| Year | Citations | |
|---|---|---|
Page 1
Page 1