[YeGoblynQueenne]

>> Like this CFG which would rewrite for K steps.

I believe that would work too and you could convert to this sub-scripted format with a simple pre-processor. I prefer the simpler and clearer notation that leaves the counting of generations to an interpreter because it's easier to read, but that's personal taste.

Thanks for the link to the paper which looks interesting. I'll have to read it more carefully.