In[]:=
SRXEvolveList[{"AB""ABBA"},"AB",4]
Out[]=
{{AB},{ABBA,{{1,2}{1,4}}},{ABBABA,{{1,2}{1,4}}},{ABBABABBAA,{{1,2}{1,4},{4,5}{6,9}}},{ABBABABBAABBABAA,{{1,2}{1,4},{4,5}{6,9},{6,7}{10,13}}}}
{{rulenum,start}
{"ABBA",previndex
{"AAABBB",{pos1rule1,pos2rule2}}
{"AAABBB",{pos1rule1}new1,XXXXX}
In[]:=
StringTake["afasdfadfasdfasdfa",4;;7]
Out[]=
sdfa
{1{span1span2,XXXXX},XXXX}
SubstitutionSystemReplacements
SubstitutionSystem[{"AB""ABBA"},"AB",4]
Out[]=
{AB,ABBA,ABBABA,ABBABABBAA,ABBABABBAABBABAA}
In[]:=
RulePlot[SubstitutionSystem[{"AB""ABBA"}],"AB",4]
Out[]=
RulePlot[SubstitutionSystem[{ABABBA}],AB,4]
In[]:=
RulePlot[CellularAutomaton[30],{{1},0},5]
Out[]=
FindEquationalProof
In[]:=
SMWStepX[{"ABA"->"BBAA","BAA"->"AABC"},"BABBAAB"]
Out[]=
{BABAABCB,{{4,6}{4,7}}}
StringSubstitution