Codex Wiki
OurBigBook.com
Site
Source code
Nondeterministic finite automaton
Home
Mathematics
Area of mathematics
Foundations of mathematics
Formal language theory
OurBigBook.com
Words: 188
Articles: 5
A nondeterministic finite automaton assigns a set of possible successor states to each state-symbol pair and accepts when at least one run ends in a final state.
Table of contents
188
5
Extended transition of a nondeterministic finite automaton
Nondeterministic finite automaton
55
1
Witnessing sequence for a nondeterministic automaton
Extended transition of a nondeterministic finite automaton
32
Powerset construction
Nondeterministic finite automaton
31
Brzozowski automaton
Nondeterministic finite automaton
75
1
Irreducibility of the accessible subset automaton
Brzozowski automaton
45
Ancestors
(5)
Formal language theory
Foundations of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(1)
Solution