Sumbangan 15 September 2024 – 1 Oktober 2024
Tentang pengumpulan dana
pencarian buku
buku
Sumbangan:
65.3% dicapai
Masuk
Masuk
pengguna terdaftar memiliki akses ke:
rekomendasi pribadi
Bot Telegram
riwayat unduhan
mengirim ke alamat email atau Kindle
manajemen daftar buku
penyimpanan ke Favorit
Pribadi
Permintaan untuk buku
Pengkajian
Z-Recommend
Daftar buku
Yang paling populer
Kategori
Partisipasi
Mendukung
Unggahan
Litera Library
Menyumbangkan buku kertas
Menambah buku kertas
Search paper books
LITERA Point saya
Pencarian kata kunci
Main
Pencarian kata kunci
search
1
Automaták és formális nyelvek példatár : egyetemi tananyag
Typotex
Ésik Zoltán
,
Gombás Éva
,
Iván Szabolcs
feladat
környezetfüggetlen
reguláris
tetszőleges
nyelv
nyelvek
gombás
iván
szabolcs
zoltán
ésik
éva
szte
www.tankonyvtar.hu
nyelvtan
véges
ekvivalens
melyre
adjon
nyelvet
automata
gép
nyelvtant
6ε
alábbi
állítás
algoritmus
megoldások
teljesül
pumpáló
lemma
turing
ℓ
igazolja
nyelvre
mutassa
által
axb
definit
nyelvtanok
szavak
ɣε
ötlet
amelyre
felismerhető
szabály
valamely
felismerő
ábécé
szerinti
Tahun:
2011
Bahasa:
hungarian
File:
PDF, 2.02 MB
Tag Anda:
0
/
0
hungarian, 2011
2
Hardver- és szoftverrendszerek verifikációja
Typotex
Ésik Zoltán
,
Gombás Éva
,
Németh L. Zoltán
átmeneti
zoltán
modell
rendszer
ellenőrzés
gombás
németh
rendszerek
ésik
éva
szte
www.tankonyvtar.hu
időzített
ctl
automata
false
átmenet
ábra
logika
processzus
spin
formula
véges
azaz
teljesül
robdd
tetszőleges
állapot
címkézett
verifikáció
átmenetek
definíció
rendszert
alábbi
halmaza
jelölje
feletti
tctl
példa
amennyiben
ábrán
utasítás
üzenet
melynek
atomi
ˇ.t
segítségével
algoritmus
tartozó
uppaal
Tahun:
2011
Bahasa:
hungarian
File:
PDF, 2.76 MB
Tag Anda:
0
/
0
hungarian, 2011
3
A számítástudomány alapjai : egyetemi tananyag
Typotex
Ésik Zoltán
turing
véges
nyelv
nyelvek
gép
környezetfüggetlen
reguláris
zoltán
nemdeterminisztikus
ésik
szte
www.tankonyvtar.hu
bizonyítás
nyelvet
determinisztikus
ből
automata
létezik
felismerhető
tartozó
tétel
nyelvtan
számítási
mondjuk
számítástudomány
alábbi
tegyük
bemenő
alapjai
probléma
tekintsük
állítás
szón
automaták
géppel
teljesül
induló
amennyiben
derivációs
szabály
gépet
vezet
amelyre
guráció
problémák
tetszőleges
által
eldönthető
nyelvtant
polinomidejű
Tahun:
2011
Bahasa:
hungarian
File:
PDF, 787 KB
Tag Anda:
0
/
0
hungarian, 2011
1
Pindah ke
tautan ini
atau temukan bot "@BotFather" di Telegram
2
Kirimlah perintah /newbot
3
Masukkan nama untuk bot Anda
4
Masukkan nama pengguna untuk bot
5
Salin pesan terbaru dari BotFather dan masukkannya di sini
×
×