Лекция 1 Flashcards
(23 cards)
Азбука
Крайно множество от символи (Σ).
Буква
Елемент на азбуката Σ.
Дума над Σ
Крайна редица от елементи на Σ.
|α|
Дължина на думата α.
Празна дума (ε)
Единствената дума с дължина 0, |ε| = 0.
Σⁿ
Множеството от думите над Σ с дължина n.
Σ⋆
Обединението на всички Σⁿ за n ≥ 0. Всички думи над Σ.
Език L над Σ
Подмножество на Σ⋆.
Индуктивна дефиниция за дума
ε е дума; ако β е дума и x ∈ Σ, то βx е дума.
Конкатенация на думи
α · β = последователно залепване на α и β.
Формално: α(βx) = (αβ)x
Индуктивна дефиниция на конкатенацията.
Конкатенация на езици
A·B = {α·β | α ∈ A и β ∈ B}
Итерация на език A
A⁰ = {ε}; Aⁿ⁺¹ = Aⁿ · A
Звезда на Клини
A⋆ = ⋃ Aⁿ за n ≥ 0
Детерминиран краен автомат (ДКА)
A = ⟨Σ, Q, qstart, δ, F⟩
Функция δ
Q × Σ → Q (тотална функция на преходите)
Разширена функция δ⋆
δ⋆(q, ε) = q; δ⋆(q, βx) = δ(δ⋆(q, β), x)
Разпознат език L(A)
L(A) = {α ∈ Σ⋆ | δ⋆(qstart, α) ∈ F}
Автоматен език
Съществува ДКА A, такъв че L = L(A)
Конфигурация
Двойка (q, α) ∈ Q × Σ⋆ – текущо състояние и дума за четене.
Релация ⊢A
Ако δ(q, b) = p, то (q, bα) ⊢A (p, α)
Релация ⊢ᶫA
ℓ-стъпкова промяна: κ ⊢ᶫA κ′ ако κ се превръща в κ′ за ℓ стъпки.
Релация ⊢⋆A
Рефлексивно и транзитивно затваряне на ⊢A.