Сбор средств 15 Сентября 2024 – 1 Октября 2024
О сборе средств
поиск книг
книги
Сбор средств:
58.6% достигнуто
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Search paper books
Мой LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
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
Год:
2011
Язык:
hungarian
Файл:
PDF, 2.02 MB
Ваши теги:
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
Год:
2011
Язык:
hungarian
Файл:
PDF, 2.76 MB
Ваши теги:
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ű
Год:
2011
Язык:
hungarian
Файл:
PDF, 787 KB
Ваши теги:
0
/
0
hungarian, 2011
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×