Diese Spezifikation wird Dir niemand liefern können, da sie nicht existiert! Die Sprache
\(L:=\left\{1^n0^n\mid n\in\mathbb{N}\right\}\)
ist nicht regulär, wie man mit dem Pumping Lemma zeigen kann. Da diese Sprache nicht regulär ist, existiert auch kein DFA, der \(L\) akzeptiert.
Hinweis zu Deinem Wording:
Wie kann man einen DFA formal angeben der 1n 0n als wörter hat?
Ein Automat hat keine Wörter, sondern akzeptiert Wörter einer Sprache \(L\).
