Page "Büchi automaton" Paragraph 2
from
Wikipedia
Formally, a deterministic Büchi automaton is a tuple A = ( Q, Σ, δ, q < sub > 0 </ sub >, F ) that consists of the following components:
Page 1 of 1.
2.141 seconds.