perfetto, questo package potrebbe fare al caso mio; vorrei quindi memorizzare queste "stringhe" in una struttura per poi farci degli opportuni controlli e sostituzioni...
l'idea è questa:

S->ABB
AB->bc
B->b
A->a

ad esempio, concettualmente potrei sostituire AB con bc e B con b, cosi da avere bcb
oppure le due B con le due b piccole e la A con la a, cosi da avere abb

nn so se mettere tutto in un array multidimensionale dove in prima colonna metto S, AB, B, A e nelle righe metto ABB, bc, b, a; poi scannerizzo la prima parte delle righe successive a S, cioè, AB, B, A e vedo se ognuna appartiene al lato destro di S ( ad esempio trovo che AB è contenuto in ABB ), se lo trovo sostituisco fino a farmi venire alla fine di tutto una stringa di caratteri piccoli ( quindi ad ogni passo dovrò fare una specie di controllo carattere ).

Su per giu l'idea è questa, solo che la pratica.....