Zaslať SMS: Preklad zo špecifikačného jazyka HSL do vnútornej formy = Translation from specitication languange HSL to internal structure :