모금 9월 15일 2024 – 10월 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
이 링크로
이동하시거나 Telegram에서 "@BotFather" 봇을 찾으십시오
2
/newbot 명령을 발송하십시오
3
사용자님의 봇의 이름을 명시하십시오
4
봇의 사용자 이름을 명시하십시오
5
BotFather로부터 받으신 마지막 메시지를 복사하여 여기에 붙여넣기를 하십시오
×
×