TeoretycznePodstawyInformatyki, Informatyka
[ Pobierz całość w formacie PDF ]
Teoretyczne Podstawy Informatyki
Mgr inż. Janusz Marecki
-1-
-2-
WSTĘP
..............
............
............
-3-
-4-
Spis treści
1.1 D
ODY INDUKCYJNE
OW TEDY YLKO TEDY
1.4 A
MAT SKOŃCZONY
UTO
.............................................................................................12
2.1 F
ORMALN
A DEFINICJA AUTOMATU SKOŃCZONEGO
...................................................13
OZSZER
................................................................14
2.3 N
MINISTYCZNY AUTOMAT SKOŃCZONY
IEDETER
.......................................................15
2.4 A
MAT SKOŃCZONY I
ε-
ELIMINACJA
....................................................................18
UTO
UTO
..............................................................................................19
3.1 O
RATORY I OPERANDY
PE
..........................................................................................22
3.2 R
NOWAŻNOŚĆ AUTOMATÓW SKOŃCZONYCH I WYRAŻEŃ REGULARNYCH
ÓW
............23
3.3 P
A ALGEBRAICZNE DLA WYRAŻEŃ REGULARNYCH
............................................26
RAW
PRAW
................................................27
3.6 W
ASNOŚCI RODZINY JĘZYKÓW REGULARNYCH
Ł
.......................................................29
3.7 P
BLEMY DECYZYJNE DLA JĘZYKÓW REGULARNYCH
RO
.............................................31
4.1 G
MATYKI
RA
..............................................................................................................34
4.2 A
AT ZE STOSEM
UTOM
................................................................................................39
ÓW
....43
ETER
...............................................................46
5.1 C
ZENIE GRAMATYK BEZ
-
KONTEKSTOWYCH
ZYSZC
....................................................48
5.3 W
ASNOŚCI RODZINY JĘZYKÓW BEZ
-
KONTEKSTOWYCH
Ł
...........................................55
6.1 P
ODZIAŁ GRAMAT HO
6.2 D
YK
C
MSKY
’
EGO
........................................................................61
EFINICJA
.......................................................................62
M
ASZYNY
T
URINGA
(MT)
ODZA
URI
7.2 R
JE FUNKCJI REKURENCYJNYCH
UNK
...................................................................74
7.4 K
ONSTRUK
CJA FUNKCJI REKURENCYJNIE PRYMITYWNYCH
.......................................76
ODOW
................................................................................................79
7.6 R
CJA NIE PRYMITYWNA
EKUREN
................................................................................82
-5-
OW
................................................................................................8
2.2 R
ZENIE TRANZYTYWNE FUNKCJI
δ
2.5 A
MAT MINIMALNY
3.4 S
DZANIE PRAW DLA WYRAŻEŃ REGULARNYCH
4.4 D
MINISTYCZNY AUTOMAT ZE STOSEM
ODZA
.......................................................................72
7.3 F
CJE REKURENCYJNIE PRYMITYWNE
7.5 K
ANIE CIĄGÓW
[ Pobierz całość w formacie PDF ]