Text this: Algoritmy sinteza avtomatov na programmirujemych matricach