User:Code monk 9999/Books/Automata

Turing et al

 * Abstractions
 * Foundations of mathematics
 * The Principles of Mathematics
 * Classical logic
 * Mathematical logic
 * Intuitionistic logic
 * Set theory
 * General set theory
 * Set (mathematics)
 * Identity element
 * Identity function
 * Class (set theory)
 * Naive set theory
 * Paradoxes of set theory
 * Constructive set theory
 * Constructive proof
 * Constructivism (mathematics)
 * Inhabited set
 * Countable set
 * Uncountable set
 * Union (set theory)
 * Intersection (set theory)
 * Complement (set theory)
 * Power set
 * Powerset construction
 * Cartesian product
 * Zermelo set theory
 * Zermelo–Fraenkel set theory
 * Von Neumann–Bernays–Gödel set theory
 * Fuzzy set
 * Group (mathematics)
 * Symmetric group
 * Center (group theory)
 * Group homomorphism
 * Bijection
 * Category theory
 * Hilbert space
 * Abelian group
 * Abstract algebra
 * Algebraic structure
 * Algebraic semantics (mathematical logic)
 * Kernel (algebra)
 * Heyting algebra
 * Boolean algebra
 * Boolean function
 * Boolean satisfiability problem
 * Closure (mathematics)
 * Function composition


 * Theory
 * Information theory
 * Computability theory
 * Imperative programming
 * Model of computation
 * Operation (mathematics)
 * Computability
 * Computable function
 * Halting problem
 * Axiomatic system
 * Axiom schema of replacement
 * Axiom schema of specification
 * Axiom of choice
 * Computational complexity theory
 * Complexity class
 * NP (complexity)
 * UP (complexity)
 * LH (complexity)
 * BPL (complexity)
 * P (complexity)
 * NL (complexity)
 * ZPP (complexity)
 * RL (complexity)
 * RP (complexity)
 * BPP (complexity)
 * EXPTIME
 * PSPACE
 * Burali-Forti paradox
 * Brouwer–Hilbert controversy
 * Entscheidungsproblem
 * Automata theory
 * Church–Turing thesis
 * Turing completeness
 * Turing machine
 * Abstract machine
 * Finite-state machine
 * State transition table
 * State diagram
 * Universal Turing machine
 * Alternating Turing machine
 * Unambiguous Turing machine
 * Multitape Turing machine
 * Read-only right moving Turing machines
 * Read-only Turing machine
 * Turing machine equivalents
 * Turing machine examples
 * Quantum Turing machine
 * Non-deterministic Turing machine
 * Quantum finite automata
 * Automaton
 * Ω-automaton
 * Semiautomaton
 * Tree automaton
 * Infinite tree automaton
 * Deterministic automaton
 * Deterministic finite automaton
 * Alternating finite automaton
 * Deterministic pushdown automaton
 * Nondeterministic finite automaton
 * Cellular automaton
 * Büchi automaton
 * Formal language
 * Alphabet (formal languages)
 * Regular language
 * Omega language
 * Omega-regular language
 * Regular expression
 * Context-free language
 * Deterministic context-free language
 * Context-sensitive language
 * Recursive language
 * Recursively enumerable language


 * Consequence
 * Branch (computer science)
 * Binary operation
 * Endomorphism
 * Antinomy
 * Consistency
 * Four color theorem
 * Cumulative hierarchy
 * Effective method
 * Discrete uniform distribution
 * Curry–Howard correspondence
 * Automorphism
 * Double negation
 * Disjunction and existence properties
 * Erasure code
 * Access structure
 * Hyperplane
 * Lambda calculus
 * Infimum and supremum
 * Inner automorphism
 * Instruction set
 * Interactive proof system
 * Inverse element
 * Isomorphism
 * Kleene star
 * Kripke semantics
 * Large cardinal
 * Law of excluded middle
 * Linear bounded automaton
 * Linear map
 * Logical equivalence
 * Mathematical object
 * Morphism
 * Muller automaton
 * Multi-track Turing machine
 * Polynomial hierarchy
 * One instruction set computer
 * Ordinal number
 * Orthogonal array
 * Parallel (geometry)
 * Partial function
 * Byzantine fault tolerance
 * Proactive secret sharing
 * Probabilistic Turing machine
 * Propositional formula
 * Pushdown automaton
 * Coprime integers
 * Quantum state
 * Randomized algorithm
 * Real number
 * Recursion (computer science)
 * Recursively enumerable set
 * Rice's theorem
 * Ring (mathematics)
 * Ring homomorphism
 * Russell's paradox
 * Secret sharing
 * Secret sharing using the Chinese remainder theorem
 * Secure multi-party computation
 * Chinese remainder theorem
 * Shamir's Secret Sharing
 * State (computer science)
 * State machine replication
 * Stochastic
 * Stochastic matrix
 * Stored-program computer
 * Successor ordinal
 * Symmetric difference
 * Symmetry
 * Symmetry group
 * Theorem
 * Theory of justification
 * Thompson's construction
 * Tontine
 * Transfinite induction
 * Transition system
 * True quantified Boolean formula
 * Truth value
 * Tuple
 * Unary operation
 * Undecidable problem
 * Unitary matrix
 * Unrestricted grammar
 * Vanish (computer science)
 * Vector space
 * Verifiable secret sharing
 * Visual cryptography
 * Von Neumann architecture
 * Von Neumann universe
 * Wireless sensor network
 * Associative property
 * Permutation
 * Information-theoretic security
 * Cardinal number
 * Black box
 * Circuit minimization for Boolean functions
 * All-or-nothing transform
 * Homomorphic secret sharing