Automatic Complexity : : A Computable Measure of Irregularity / / Bjørn Kjos-Hanssen.
Automatic Complexity discusses a treatment of a computable form of Kolmogorov complexity, in which Turing machines are replaced by finite automata. The complexities of many types of words are studied, including random words, normal words, Fibonacci words, Thue words, and words produced by linear fee...
Saved in:
| VerfasserIn: | |
|---|---|
| Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2024] 2024 |
| Year of Publication: | 2024 |
| Language: | English |
| Series: | De Gruyter Series in Logic and Its Applications ,
12 |
| Online Access: | |
| Physical Description: | 1 online resource (XII, 144 p.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Automatic Complexity discusses a treatment of a computable form of Kolmogorov complexity, in which Turing machines are replaced by finite automata. The complexities of many types of words are studied, including random words, normal words, Fibonacci words, Thue words, and words produced by linear feedback shift registers. Automatic complexity is a computable and visual form of Kolmogorov complexity. Introduced by Shallit and Wang in 2001, it replaces Turing machines by finite automata, and has connections to normalized information distance, logical depth, and linear diophantine equations. Automatic Complexity is the first book on the subject and includes exercises with solutions written for the proof assistant Lean, computer programs to calculate automatic complexity, and many open problems. |
|---|---|
| Format: | Mode of access: Internet via World Wide Web. |
| ISBN: | 9783110774870 |
| ISSN: | 1438-1893 ; |
| DOI: | 10.1515/9783110774870 |
| Access: | restricted access |
| Hierarchical level: | Monograph |
| Statement of Responsibility: | Bjørn Kjos-Hanssen. |