Introduction to theoretical computer science. Foundations and models
From MaRDI portal
Publication:1336487
zbMath0821.68004MaRDI QIDQ1336487
Publication date: 25 October 1994
Published in: Springer-Lehrbuch (Search for Journal in Brave)
Turing machinesBoolean functionsfinite automatacontext-free languagesdecision procedureexponential complexitydecidable setsdegrees of computabilitynondeterministic pushdown automata
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Computer system organization (68M99) General topics in the theory of software (68N01) General theory of computer systems (68M01)
This page was built for publication: Introduction to theoretical computer science. Foundations and models