Príklad 1:
Navrhnite FA s ∑ = {0, 1} akceptuje tie reťazce, ktoré začínajú 1 a končia 0.
Riešenie:
FA bude mať počiatočný stav q0, z ktorého do nasledujúceho stavu prejde len hrana so vstupom 1.
V stave q1, ak čítame 1, budeme v stave q1, ale ak čítame 0 v stave q1, dostaneme sa do stavu q2, čo je konečný stav. V stave q2, ak čítame buď 0 alebo 1, prejdeme do stavu q2 alebo q1. Všimnite si, že ak vstup končí 0, bude v konečnom stave.
java nemenný zoznam
Príklad 2:
Navrhnite FA s ∑ = {0, 1} akceptuje jediný vstup 101.
Riešenie:
V danom riešení vidíme, že bude akceptovaný iba vstup 101. Preto pre vstup 101 nie je zobrazená žiadna iná cesta pre iný vstup.
Príklad 3:
Návrh FA s ∑ = {0, 1} akceptuje párny počet 0 a párny počet 1.
Riešenie:
vikas divyakirti
Tento FA bude brať do úvahy štyri rôzne stupne pre vstup 0 a vstup 1. Stupne môžu byť:
Tu q0 je počiatočný stav a tiež konečný stav. Pozorne si všimnite, že je zachovaná symetria 0 a 1. Každému stavu môžeme priradiť významy ako:
q0: stav párneho počtu 0 a párneho počtu 1.
q1: stav nepárneho počtu 0 a párneho počtu 1.
q2: stav nepárneho počtu 0 a nepárneho počtu 1.
q3: stav párneho počtu 0 a nepárneho počtu 1.
Príklad 4:
Návrh FA s ∑ = {0, 1} akceptuje množinu všetkých reťazcov s tromi po sebe idúcimi nulami.
vycentrovanie obrázka v css
Riešenie:
Reťazce, ktoré sa vygenerujú pre tento konkrétny jazyk, sú 000, 0001, 1000, 10001, .... v ktorých sa 0 vždy objaví v zhluku 3. Graf prechodu je nasledujúci:
Všimnite si, že postupnosť trojitých núl sa zachováva, aby sa dosiahol konečný stav.
Príklad 5:
Navrhnite DFA L(M) = {w | w ε {0, 1}*} a W je reťazec, ktorý neobsahuje po sebe idúce 1.
obmedzenia elektronického bankovníctva
Riešenie:
Keď sa vyskytnú tri po sebe idúce 1, DFA bude:
Tu sú prijateľné dve po sebe idúce 1 alebo jedna 1
Etapy q0, q1, q2 sú konečné stavy. DFA vygeneruje reťazce, ktoré neobsahujú po sebe idúce 1, ako napríklad 10, 110, 101,..... atď.
Príklad 6:
Navrhnite FA s ∑ = {0, 1} akceptuje reťazce s párnym počtom 0, za ktorým nasleduje jedna 1.
Riešenie:
DFA môže byť znázornený prechodovým diagramom ako:
