Thanks for that.
My initial reaction to the title was "wait, you can describe prime numbers using formal languages?". I could feel it in my guts that this would probably have some mind blowing Math/CS implications.
A shame how I'm so rusty in my Mathematics and CS nowadays :(