Invia SMS: Algoritmy sinteza avtomatov na programmirujemych matricach