Density-One GKP Divisibility and Its Carry-Language Characterization

Source: url:https://cs.stanford.edu/~knuth/gkp.html Authors: Egor Lyfar Status: verified Main declarations: GKPCarry.tendsto_gkpSuccessProportion_one Tags: number-theory, finite-automata, asymptotic-density MSC: 11A63, 11B65, 68Q45