# -*- encoding:latin-1 -*- # vim:fenc=latin1 ## $Id$ ## valid keys: # ---------- # Category? (should always be on top!) # Question (should always stand after Category) # Answer (will be matched if no regexp is provided) # Regexp? (use UNIX-style expressions) # Author? (the brain behind this question) # Level? [baby|easy|normal|hard|extreme] (difficulty) # Comment? (comment line) # Score? [#] (credits for answering this question) # Tip* (provide one or more hints) # TipCycle? [#] (Specify number of generated tips) ## Demo-Entry: # ---------- # Category: Geschichte # Question: Chinesischer Philosoph (um 500 v. Chr.) ? # Answer: Konfuzius # Regexp: [ck]onfu(ts|z)ius # Author: anonymous # Level: hard # Comment: demo-entry, ÄÖÜäöüß ^° !"§$%&/()=? `´ # Score: 5 # Tip: Kon...... # Tip: ...fuz... # Tip: ......ius #Category: ThI #Question: #Regexp: #Answer: ## WARNING: # ------- # DO NOT ADD COMMENTS BEYOND THIS LINE # you may add as much comments as you want into the part above # Category: ThI Question: Ein Baum enthaelt keinen ...? Answer: Kreis Category: ThI Question: Typ-1-Sprachen sind ...? Answer: kontextsensitiv Category: ThI Question: Typ-3-Sprachen sind ...? Answer: regulaer Category: ThI Question: Typ-2-Sprachen sind ...? Answer: kontextfrei Category: ThI Question: Womit laesst sich zeigen, dass eine Sprache nicht regulaer ist? Regexp: Pumping[- ]Lemma Answer: Pumping Lemma Category: ThI Question: Typ dieser Sprache: L = { a^n b^n | n >= 1 } Answer: kontextfrei Category: ThI Question: Satz von Myhill-Nerode: Eine Sprache L ist genau dann ..., wenn der Index von R_L endlich ist. Answer: regulaer Category: ThI Question: Eine Funktion mit f(i)=f(j) => i=j heisst Answer: injektiv Category: ThI Question: surjektiv und injektiv Answer: bijektiv Category: ThI Question: Eine Menge M, die entweder leer ist, oder für die es eine surjektive Abbildung a: N -> M gibt, ist Regexp: abz(ae|ä)hlbar Answer: abzählbar Category: ThI Question: Eine Halbgruppe mit Einselement ist ein Answer: Monoid Category: ThI Question: In diesem Monoid gibt es zu jedem Element ein Inverses Answer: Gruppe Category: ThI Question: Ein Monoid ist genau dann eine Gruppe, wenn zu jedem Element ein ... existiert Answer: Inverses Category: ThI Question: Eine Relation, die reflexiv, symmetrisch und transitiv heisst, ist eine Regexp: (Ä|Ae)quivalenzrelation Answer: Äquivalenzrelation Category: ThI Question: Die maximale Weglaenge von der Wurzel in einem Baum heisst auch ... eines Baumes Answer: Tiefe Category: ThI Question: Konjunktion von Disjunktionen (Kurzform) Answer: KNF Category: ThI Question: Disjunktion von Konjunktionen (Kurzform) Answer: DNF Category: ThI Question: Was ist das: (...∨...∨...∨...)∧(...∨...∨...∨...)∧(...∨...∨...∨...)∧(...∨...∨...∨...) (Kurzform) Answer: KNF Category: ThI Question: Was ist das: (...∧...∧...∧...)∨(...∧...∧...∧...)∨(...∧...∧...∧...)∨(...∧...∧...∧...) (Kurzform) Answer: DNF Category: ThI Question: Vervollstaendige den eulerschen Polyedersatz: e ? k ? f = ? Regexp: (e - k + f = 2|e-k+f=2) Answer: e - k + f = 2 Category: ThI Question: Gilt für eine Reltation R: xRx ist diese ? Answer: reflexiv Category: ThI Question: Wenn eine Relation nicht symmetrisch ist, ist diese ...? Answer: antisymmetrisch Category: ThI Question: Gilt für eine Relation R: xRy ^ yRz => xRz so ist diese? Answer: transitiv Category: ThI Question: Wenn gilt f(x) = f(f(x)) ist f(x) ...? Answer: idempotent Category: ThI Question: In einem Mealy Automaten ist Ausgabe abhängig vom a) Zustand b) Zustand und Eingabe c) keines von den genannten Answer: b Category: ThI Question: In einem Mealy Automaten ist Ausgabe abhängig vom a) Zustand b) Zustand und Eingabe c) keines von den genannten Answer: a