Page 1 of 1
Repeated letters in ggg
Posted: Sat Aug 28, 2021 3:09 pm
by WarpedWartWars
Regular expressions have a way to do this, for example (whatever*) matches "whateverwhateverwhatever", "whatever", etc., but not "whatevre", "waeehtvr", "qwertyuiopasdfghjklzxcvbnm", etc. Is there a way to do this in
ggg?
Re: Repeated letters in ggg
Posted: Sat Aug 28, 2021 11:13 pm
by zompist
As stated, sure:
S=W
W=W W|whatever
I'm guessing you mean something more complicated than this, but I'm not sure what!
Re: Repeated letters in ggg
Posted: Sun Aug 29, 2021 7:41 pm
by WarpedWartWars
What I specifically want it for is an extended version of the Math Expressions example. I want it to turn "gggggggg" into "g8", "ff" into "f2" etc. Not generating them, but rather collapsing them.