BranchesHistoryHelpLogin
Welcome guest
You're not logged in.
277 users online, thereof 1 logged in

Proof: (related to "Reduction of $\epsilon$-NFA to NFA")

We will prove the theorem by showing the set equality $\mathcal L(\epsilon-\operatorname{NFA})=\mathcal L(\operatorname{NFA}).$

$\mathcal L(\operatorname{NFA}) “\subseteq” \mathcal L(\epsilon-\operatorname{NFA})$

$\mathcal L(\operatorname{NFA}) “\supseteq” \mathcal L(\epsilon-\operatorname{NFA})$

q.e.d

| | | | created: 2020-05-21 16:46:41 | modified: 2020-05-21 18:42:03 | by: | references: [1086]

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

Bibliography (further reading)

[1086] Erk, Katrin; Priese, Lutz: “Theoretische Informatik”, Springer Verlag, 2000, 2. Auflage