GentleRex
Induction example
Intro to Theory of Computation
Reg lang properties
Pumping Lemma
decidability and MORE..
   
 


Here is a quick example of induction , typically presented as a staple in discrete math and a warm up for automata theory.