Potencial descoberta interessante

Estou fazendo meu trabalho de tecnologia adaptativa... Na minha varredura do espaço de autômatos finitos adaptativos possíveis, encontrei um, o de número "4258072", que parece possuir umas características bacanas (leia-se: comportamento caótico).

Em minha linguagem para descrição de AFAs, que batizei de SDMBA, essa máquina possui o programa

FUN PRE F: GEN;
* 1 T11 G;
T1 1 *; END;
FUN PRE G: GEN;
T1 1 T11 F;
T 1 T1; END;
q1 1 q1 F;
INIT q1;
FINAL q1;

que acredito ser equivalente a:

FUN PRE F: GEN;
* 1 T11 G;
T1 1 *;
END;
FUN PRE G:
T 1 T1;
T1 1 T11 F; END;
(...)

Esse autômato aceitou a série de números:

0 2 5 9 15 24 38 59 90 137 207 312 470 707 1062 1595 2394 3593 5391 8088

que se vc fizer altas diferenças sucessivas, não vai achar nada de muito esclarecedor:

0 2 5 9 15 24 38 59 90 137 207 312 470 707 1062 1595 2394 3593
2 3 4 6 9 14 21 31 47 70 105 158 237 355 533 799 1199
1 1 2 3 5 7 10 16 23 35 53 79 118 178 266 400
0 1 1 2 2 3 6 7 12 18 26 39 60 88 134
1 0 1 0 1 3 1 5 6 8 13 21 28 46
-1 1 -1 1 2 -2 4 1 2 5 8 7 18
2 -2 2 1 -4 6 -3 1 3 3 -1 11
...

Poisé, tentando decifrar o autômato ainda estou tentando colocar ele em forma de uma gramática pra ver o que acontece... Só que tem que ser uma gramática "cíclica". Vai ser algo como um colar de contas, que vc vai mudando as cores de acordo com as regras da gramática.

Ainda acho que posso descobrir que isso vai cair em alguma outro sistema já famoso... Mas tomara que não!! =) (ou que sim, porque facilitaria as coisas...)

Enviei a série pra famosa Enciclopédia de séries de inteiros, vamos ver se obtenho alguma resposta...

(Esse post é só pra marcar esse momento, que pode talvez vir a ser uma descoberta interessante! Ou talvez apenas um fugaz momento de esperança seguida de desilusão...)