Expressing Recursive Definitions with Post Systems

I briefly introduce Post Systems and show an application of them as a method for writing recursive definitions. Later we will use inductive proofs to establish properties of the systems defined.

[@lbridgetiv4]

Very informative!! Do you offer any additional videos for post systems??