я подозреваю, что сложнейшесть сильно преувеличена (как если свести в единую матрицу состояний десять тыщ маленьких матриц состояний на пять -- то же будет на первый взгляд жутко сложно).
ну или посмотреть на асемблерный/двоичный код от программы на эрланге, не зная из чего его получили (о, от фортрана тоже бывает, помню чего генерил FOTRAN-4 фирмы DEC на PDP11 -- ыыых!)

так что это все от недостатка знаний, но я и говорю что инструменты для добывания сих знаний уже вполне на поток поставленны.

может уже даже где и ковыряют програмный эмулятор для интерпретации ДНК.