Table of Contents: “... of Context-Free Languages -- 14. Deterministic PDAs -- Part IV: Context-Sensitive Languages -- 15. Turing Machines -- 16. Turing Machine Composition -- 17. Turing Machine Extensions -- 18. Context-Sensitive Grammars -- 19. Church-Turing Thesis and Undecidability...”

Full text 

Table of Contents: “... Randomness -- Some Games on Turing Machines and Power from Random Strings -- Inequalities for entropies and dimensions -- Computational Complexity -- Elementarily traceable irrational numbers -- Logic vs topology on regular ω-languages -- Subrecursive Graphs...”

Full text 

Table of Contents: “... -- A New Academic RTOS: Xinu Port to the AVR Architecture -- Innovation in Computer Science Education -- SETIC: an Educational Software about the Functioning of Computer Parts -- A Turing Machine at Secondary School -- Digital Governance and Smart Cities...”

Full text 

Table of Contents: “... -- POSSIBILITY: Complexity of P Functions -- Complexity of PR Functions -- Turing Machines and NP-Completeness....”

Full text 

Full text 

Table of Contents: “... Dynamic $k$-Center Clustering with Outliers.-Refutation of Spectral Graph Theory Conjectures with Monte Carlo Search.-Online one-sided smooth function maximization.-Revisiting Maximum Satisfiability and Related Problems in Data Streams.-Turing Machines with Two...”

Full text 

Table of Contents: “...Insights from the Conscious Turing Machine (CTM) -- Speculative Smart Contracts -- Optimization from Structured Samples-An Effective Approach for Data-Driven Optimization -- Recent Developments in Property Testing of Boolean Functions -- AC0 Circuits...”

Full text 

Table of Contents: “...1 Formal Grammars and Languages -- 2 Finite Automata and Regular Grammars -- 3 Pushdown Automata and Context-Free Grammars -- 4 Linear Bounded Automata and Context-Sensitive Grammars -- 5 Turing Machines and Type 0 Grammars -- 6 Decidability...”

Full text 

Table of Contents: “...Preface -- I: Introduction -- 1 Introducing Computation Theory -- 2 Introducing the Book -- II: Pillar S: STATE -- 3 Pure State-Based Computational Models -- 4 The Myhill-Nerode Theorem: Implications and Applications -- 5 Online Turing Machines...”

Full text 

Table of Contents: “...Preliminaries -- Enumerating and simulating Turing machines -- The Coding Theorem Method -- Theoretical aspects of finite approximations to Levin's semi-measure....”

Full text 

Table of Contents: “...1. Introduction to Logic -- 2. First-order Logic -- 3. Non-classical Logics -- 4. Automata Theory and Formal Languages -- 5. Turing Machines and Computability -- 6. Logic is Computation....”

Full text 

Table of Contents: “...Invited Talks -- How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton -- Variational Quantum Eigensolver and Its Applications -- Programming and Programming Languages -- Reversible Functional Array Programming...”

Full text 

Full text 

Table of Contents: “... Functional Encryption from Pairings -- Functional Encryption for Turing Machines with Dynamic Bounded Collusion from LWE -- Receiver-Anonymity in Reradomizable RCCA-Secure Cryptosystems Resolved -- Foundations -- White Box Traitor Tracing -- Does Fiat-Shamir...”

Full text 

Table of Contents: “...10. Quantum information -- 10.1. Information science -- 10.2. Turing machine -- 10.3. Bits and bytes and Boolean gates -- 10.4. Universality -- 10.5. Measuring information -- 10.6. Landauer's theory of the energy required for calculations -- 10.7...”

Full text 

Table of Contents: “...Fundamentals of Mathematical Logic -- Set Theory -- Relations and Functions -- Combinatorics -- Graphs -- Boolean Algebra -- Complex Numbers -- Recurrence Relations -- Concept of an Algorithm, Correctness of Algorithms -- Turing Machine -- Asymptotic...”

Full text 

Full text 

Full text 

Table of Contents: “... with Solitons -- DNA Computing -- Evolution in Materio -- Grossone Infinity Computing -- Immune computing -- Inductive Turing Machines -- Mechanical Computing: The Computational Complexity of Physical Devices -- Membrane Computing, Power and Complexity -- Molecular...”

Full text