Codex Wiki
OurBigBook.com
Site
Source code
Extended transition of a nondeterministic finite automaton
Home
Mathematics
Area of mathematics
Foundations of mathematics
Formal language theory
Nondeterministic finite automaton
OurBigBook.com
Words: 55
Articles: 1
Without epsilon transitions, define
Δ
(
q
,
ε
)
=
{
q
}
,
Δ
(
q
,
w
a
)
=
⋃
p
∈
Δ
(
q
,
w
)
Δ
(
p
,
a
)
.
(35)
A word is accepted when the set reached from the initial state meets the final set.
Table of contents
55
1
Witnessing sequence for a nondeterministic automaton
Extended transition of a nondeterministic finite automaton
32
Ancestors
(6)
Nondeterministic finite automaton
Formal language theory
Foundations of mathematics
Area of mathematics
Mathematics
Home