Leave it up to MIT to combine Cellular Automata, CFGs and Gödel, but then also:
Special software is required to use some of the files in this section: .rm.
:( Special software is required to use some of the files in this section: .rm.
:(