„Rendszermodellezés (régi)/Igaz Hamis kikérdező” változatai közötti eltérés

@@ 23. sor: / 23. sor: @@
 # csak akkor áll chat elő, ha M1 és M2 bemenethalmaza megegyezik.
 # tartalmazhat nem elérhető állapotot.
+== Ha egy állapotgépről tudjuk, hogy determinisztikus, és teljes(en specifikált). Következik ebből, hogy ==
+{{kvízkérdés|típus=több|válasz=1,2|pontozás=+}}
+# minden állapotból minden bemenethez legalább egy állapotátmenet tartozik?
+# minden állapotból minden bemenethez legfeljebb egy állapotátmenet tartozik?
+# minden állapotból elérhető a kezdőállapot?
+# minden állapot elérhető a kezdőállapotból?