hmmm... i glaub i war gruppe F
automat : [12]*(12)?(10?)+
dann noch in AL eine for-schleife definieren, mit syntax und semantik
eine grammatik fuer html files erstellen:
beginnt mit <html> endet mit </html>, dazwischen beliebige (auch leere)
Folge von Text,
unsortierten listen oder sortierten listen,
sortiert liste beginnt mit <ol> dann kommt beliebige (auch leere) folge
von listenelementen
und endet mit </ol>
unsortierte liste ist gleich nur mit <ul> und </ul>
listenelement beginnt mit <li> dann beliebige (auch leere) Folge von
Text,
unsortierten listen oder sortierten listen, endet mit </li>
Text is nichtleere folge von buchstaben, ziffern, leerzeichen, komma
oder punkt
hoare-kalkuel fuer ein elendslangen ausdruck ueber AL(N)
und noch DPLL BSP, ca 4 aussagen, eine identisch, einen nand, eine
implikation und noch was
und eben irgendwas das daraus folgen soll