Splošna teorija substitucijskih algoritmov in njena povezava z digitalnimi avtomati : disertacija