Лекция 1 Flashcards

(23 cards)

1
Q

Азбука

A

Крайно множество от символи (Σ).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Буква

A

Елемент на азбуката Σ.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Дума над Σ

A

Крайна редица от елементи на Σ.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

|α|

A

Дължина на думата α.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Празна дума (ε)

A

Единствената дума с дължина 0, |ε| = 0.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Σⁿ

A

Множеството от думите над Σ с дължина n.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Σ⋆

A

Обединението на всички Σⁿ за n ≥ 0. Всички думи над Σ.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Език L над Σ

A

Подмножество на Σ⋆.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Индуктивна дефиниция за дума

A

ε е дума; ако β е дума и x ∈ Σ, то βx е дума.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Конкатенация на думи

A

α · β = последователно залепване на α и β.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Формално: α(βx) = (αβ)x

A

Индуктивна дефиниция на конкатенацията.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Конкатенация на езици

A

A·B = {α·β | α ∈ A и β ∈ B}

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Итерация на език A

A

A⁰ = {ε}; Aⁿ⁺¹ = Aⁿ · A

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Звезда на Клини

A

A⋆ = ⋃ Aⁿ за n ≥ 0

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Детерминиран краен автомат (ДКА)

A

A = ⟨Σ, Q, qstart, δ, F⟩

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Функция δ

A

Q × Σ → Q (тотална функция на преходите)

17
Q

Разширена функция δ⋆

A

δ⋆(q, ε) = q; δ⋆(q, βx) = δ(δ⋆(q, β), x)

18
Q

Разпознат език L(A)

A

L(A) = {α ∈ Σ⋆ | δ⋆(qstart, α) ∈ F}

19
Q

Автоматен език

A

Съществува ДКА A, такъв че L = L(A)

20
Q

Конфигурация

A

Двойка (q, α) ∈ Q × Σ⋆ – текущо състояние и дума за четене.

21
Q

Релация ⊢A

A

Ако δ(q, b) = p, то (q, bα) ⊢A (p, α)

22
Q

Релация ⊢ᶫA

A

ℓ-стъпкова промяна: κ ⊢ᶫA κ′ ако κ се превръща в κ′ за ℓ стъпки.

23
Q

Релация ⊢⋆A

A

Рефлексивно и транзитивно затваряне на ⊢A.