Mathematical foundations of computer science

DOI10.1201/9781003383284MaRDI QIDQ7021415zbMATH OpenFDO

Authors Ashwin Lall

Publication date 27 February 2025

Full work available at URL https://doi.org/10.1201/9781003383284

zbMATH Keywords

computabilitycomputation theorycontext-free grammarsdiscrete mathematicsfinite automatamathematical logicproof techniquesregular expressionsregular languagesTuring machines

Mathematics Subject Classification ID

Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Classical models of computation (Turing machines, etc.) (68Q04) Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45) Discrete mathematics in relation to computer science (68Rxx)

This page was built for publication: Mathematical foundations of computer science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7021415)