Informatik Grundbegriffe Quiz 8

Welche Elemente sind Teil dieser Menge?

• A

• 001

• 0F

• 15G

• FFF

Können zwei unterschiedliche Grammatiken die gleiche Sprache erzeugen?

• Ja

• Nein

Sind Ableitungsbäume eindeutig?

• Ja

• Nein

Was sind freie Vorkommen von Variablen in prädikatenlogischen Formeln?

• Vorkommen, die in Termen vorkommen, ohne dass sie quantifiziert sind

• Vorkommen, die nur in Relationssymbolen vorkommen

• Vorkommen, die nur in Funktionssymbolen vorkommen

• Vorkommen, die direkt nach Quantoren vorkommen

Was ist eine kollisionsfreie Substitution in der Prädikatenlogik?

• Eine Substitution, bei der gebundene Variablen substituiert werden

• Eine Substitution, bei der freie Variablen substituiert werden

• Eine Substitution, bei der keine Variable aus Versehen freigesetzt wird

• Eine Substitution, bei der keine Variable aus Versehen gebunden wird