1
Programming-Based Formal Languages and Automata Theory [E-Book] : Design, Implement, Validate, and Prove /
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 
2
Unity of Logic and Computation [E-Book] : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings /
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 
3
Computer Science - CACIC 2022 [E-Book] : 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers /
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 
4
Computing and Combinatorics [E-Book] : 28th International Conference, COCOON 2022, Shenzhen, China, October 22-24, 2022, Proceedings /
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 
5
Computability [E-Book] /
Table of Contents: ... -- POSSIBILITY: Complexity of P Functions -- Complexity of PR Functions -- Turing Machines and NP-Completeness....

Full text 
6
Understanding Computation [E-Book] : Pillars, Paradigms, Principles /
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 
7
Automata Theory and Formal Languages [E-Book] : Fundamental Notions, Theorems, and Techniques /
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 
8
Frontiers of Algorithmics [E-Book] : International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16-19, 2021, Proceedings /
Chen, Jing
2022
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 
9
Machines, Computations, and Universality [E-Book] : 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings /
10
The Zen of exotic computing /
Book
Subject (ZB): ...Turing machine...
Table of Contents 
11
Methods and Applications of Algorithmic Complexity [E-Book] : Beyond Statistical Lossless Compression /
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 
12
Descriptional Complexity of Formal Systems [E-Book] : 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings /
13
Reversible Computation [E-Book] : 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings /
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 
14
Fundamentals of Logic and Computation [E-Book] : With Practical Automated Reasoning and Verification /
Hou, Zhe
2021
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 
15
Advances in Cryptology - CRYPTO 2021 [E-Book] : 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16-20, 2021, Proceedings, Part IV /
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 
16
Modern quantum mechanics and quantum information [E-Book] /
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 
17
The Discrete Math Workbook [E-Book] : A Companion Manual Using Python /
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 
18
Unconventional Computing [E-Book] : A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition /
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 
19
Introduction to Deep Learning [E-Book] : From Logical Calculus to Artificial Intelligence /
20
Neural Networks and Deep Learning [E-Book] : A Textbook /