9/25 formal language class note
9/25 introduction to cryptography