Лекция 7 Flashcards
(7 cards)
1
Q
Алгоритъм за минимизация
A
Изчисляване на ≡A чрез последователни апроксимации ≡0A ⊇ ≡1A ⊇ … ⊇ ≡nA, стабилизираща до ≡A.
2
Q
Рекурентна формула за ≡n+1
A
p ≡n+1A q ⇔ p ≡nA q и δ(p, x) ≡nA δ(q, x) за всички x ∈ Σ.
3
Q
Сложност на алгоритъма за минимизация
A
Груба оценка: O(|Q|³); с оптимизация: O(|Q|²).
4
Q
Дефиниция 1
A
Неограничена граматика: G = (V, Σ, R, S), където R ⊆ (V ∪ Σ)+ × (V ∪ Σ)*.
5
Q
Дефиниция 3
A
L(G) = {ω ∈ Σ* | S ⇒*G ω} – език, генериран от граматиката G.
6
Q
Контекстна граматика
A
Граматика, чиито правила имат вида λAρ → λαρ с A ∈ V и α ∈ (V ∪ Σ)+.
7
Q
Регулярна граматика
A
Граматика, чиито правила са от вида A → aB и A → ε.