Formal Languages and Automata
Gradiva pri predmetu Part IA Discrete Mathematics na univerzi v Cambridgeu. Strani 12–23 natančno razložijo induktivne definicije in dokaze z indukcijo.
Kliknite na povezavo Formal Languages and Automata, če želite odpreti vir.