Text this: Tropická matematika a jej aplikácie v automatizácii