Formalisierung gestischer Eingabe für Multitouch-Systeme