Invia SMS: Minimalizačné algoritmy deterministických konečných automatov