Teoreetilise informaatika sõnastik


1	Otsimiseks vajuta Ctrl+F
2
3	Eesti	English
4	3-KNK-valem	3-CNF-formula
5	ajaline keerukus	time complexity
6	aktsepteerima	accept
7	aktsepteeriv olek	accept state
8	algkonfiguratsioon	initial configuration
9	algolek	start state
10	arvutatav funktsioon	computable function
11	automaat	automaton
12	binoomkordaja	binomial coefficient
13	determineeritud lõplik automaat	deterministic finite automaton, DFA
14	disjunkt	clause
15	elimineerimismeetod	inclusion-exclusion principle
16	eristatavad	distinguishable
17	hulk	set
18	indeks	index
19	järjestamata	unordered
20	järjestatud	ordered
21	järjestus	order
22	kehtestatav	satisfiable
23	KNK-valem	CNF-formula
24	kombinatsioon	combination
25	konfiguratsioon	configuration
26	konjunktiivne normaalkuju	conjunctive normal form
27	konkatenatisioon	concatenation
28	kordumistega kombinatsioonid	combinations with repetitions
29	kordumistega permutatsioonid	permutations with repetitions
30	korrapäratus	derangement
31	korrutamisreegel	multiplication principle, rule of product
32	kujutusega taandatav	mapping reducible
33	lahendama	decide
34	lahenduv keel	decidable language
35	liitmisreegel	addition principle, rule of sum
36	linditähestik	tape alphabet
37	lint	tape
38	literaal	literal
39	lugev-kirjutav pea	read-write head
40	lõplik automaat	finite automaton
41	masina M keel	language of M
42	mitme lindiga Turingi masin	multi-tape Turing machine
43	mittedetermineeritud lõplik automaat	nondeterministic finite automaton, NFA
44	mittedetermineeritud Turingi masin	nondeterministic Turing machine
45	mittelahenduv keel	undecidable language
46	NP-raske	NP-hard
47	NP-täielik	NP-complete
48	olek	state
49	olekudiagramm	state diagram
50	paarikaupa eristatav	pairwise distinguishable
51	peatuma	halt
52	permutatsioon	permutation
53	polünomiaalne reduktsioon	polynomial-time reduction
54	polünomiaalselt kujutusega taandatav	polynomial-time mapping reducible
55	polünomiaalses ajas arvutatav	polynomial-time computable
56	pumpamislemma	pumping lemma
57	reduktsioon	reduction
58	regulaaravaldis	regular expression
59	regulaarne	regular
60	sisendtähestik	input alphabet
61	sõne	string
62	tagasilükkav olek	reject state
63	Turingi masin	Turing machine
64	Turingi mõttes kaasäratuntav	co-Turing recognizable
65	Turingi mõttes lahenduv	Turing-decidable
66	Turingi mõttes äratuntav	Turing-recognizable
67	tähestik	alphabet
68	tärnoperatsioon	star
69	tööaeg	running time
70	tühisõne	empty string
71	viisik	5-tuple
72	ära tundma	recognize
73	ühend	union
74	ühisosa	intersection
75	üleminekufunktsioon	transition function