Mathematical Sciences Classification System

68Qxx - Theory of computing

  • 4
    68Q01
    General
  • 13
    68Q05
    Models of computation (Turing machines, etc.) [See also 03D10, 68Q12, 81P68]
  • 1
    68Q10
    Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) [See also 68Q85]
  • 3
    68Q12
    Quantum algorithms and complexity [See also 68Q05, 81P68]
  • 15
    68Q15
    Complexity classes (hierarchies, relations among complexity classes, etc.) [See also 03D15, 68Q17, 68Q19]
  • 14
    68Q17
    Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) [See also 68Q15]
  • 68Q19
    Descriptive complexity and finite models [See also 03C13]
  • 44
    68Q25
    Analysis of algorithms and problem complexity [See also 68W40]
  • 5
    68Q30
    Algorithmic information theory (Kolmogorov complexity, etc.) [See also 03D32]
  • 5
    68Q32
    Computational learning theory [See also 68T05]
  • 5
    68Q42
    Grammars and rewriting systems
  • 13
    68Q45
    Formal languages and automata [See also 03D05, 68Q70, 94A45]
  • 5
    68Q55
    Semantics [See also 03B70, 06B35, 18C50]
  • 1
    68Q60
    Specification and verification (program logics, model checking, etc.) [See also 03B70]
  • 1
    68Q65
    Abstract data types; algebraic specification [See also 18C50]
  • 10
    68Q70
    Algebraic theory of languages and automata [See also 18B20, 20M35]
  • 3
    68Q80
    Cellular automata [See also 37B15]
  • 4
    68Q85
    Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
  • 2
    68Q87
    Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) [See also 68W20, 68W40]
  • 1
    68Q99
    None of the above, but in this section

Rewrite code from the image

Reload image

Reload image