Automatic Complexity
A Computable Measure of Irregularity
Seiten
2024
De Gruyter (Verlag)
978-3-11-077481-8 (ISBN)
De Gruyter (Verlag)
978-3-11-077481-8 (ISBN)
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.
lt;p>Bjørn Kjos-Hanssen, University of Hawaii at Manoa, USA.
Erscheinungsdatum | 19.01.2024 |
---|---|
Reihe/Serie | De Gruyter Series in Logic and Its Applications ; 12 |
Zusatzinfo | 9 b/w and 5 col. ill., 7 b/w tbl. |
Verlagsort | Berlin/Boston |
Sprache | englisch |
Maße | 170 x 240 mm |
Gewicht | 394 g |
Themenwelt | Informatik ► Software Entwicklung ► User Interfaces (HCI) |
Mathematik / Informatik ► Mathematik | |
Schlagworte | Complexity • Fibonacci words. • Kolmogorov structures • normal words • random words |
ISBN-10 | 3-11-077481-X / 311077481X |
ISBN-13 | 978-3-11-077481-8 / 9783110774818 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Aus- und Weiterbildung nach iSAQB-Standard zum Certified Professional …
Buch | Hardcover (2023)
dpunkt Verlag
34,90 €
Lean UX und Design Thinking: Teambasierte Entwicklung …
Buch | Hardcover (2022)
dpunkt (Verlag)
34,90 €
Wissensverarbeitung - Neuronale Netze
Buch | Hardcover (2023)
Carl Hanser (Verlag)
34,99 €