Beruflich Dokumente
Kultur Dokumente
✦ Index
A ANSI
See American National Standards In-
Abstract data type 261, 307 stitute
See also Dictionary, Priority queue, ANSI C
Queue, Stack See C
Abstract symbol 593–594 Anti-implicant 668
Abstraction 1, 3 Antisymmetry 388–390
Abstraction (of sets) 338–339 Arc 452, 488
Acceptance, of input 533, 539 Argument size
Accepting state 532, 549 See Size of arguments
Activation record 313 Arithmetic expression 46–50, 62–63, 242–
Acyclic graph 454 244, 592, 611–615
Acyclic path 456 Arithmetic operator 18–19, 109
Addition 10–12, 716–723 Arithmetic series 42
See also One-bit adder, Ripple-carry Arity 366
addition Array 14, 109, 232, 301–306, 308–309, 329–
Adjacency list 459–461, 463 333, 358–360
Adjacency matrix 460–462, 515 See also Adjacency matrix, Charac-
Adjacent nodes 456 teristic vector, Circular array, Heap
ADT (data structure)
See Abstract data type ASCII 38
Aho, A. V. 155, 335, 450, 527, 589, 641 Assignment (of values to objects) 157–160
Aleph-zero Assignment-statement 19, 109
Associative law 47, 344–345, 441, 570, 652,
See Countable set
675
Algebra 5, 343
See also Nonassociative operator
See also Algebraic law, Expression,
Astrahan, M. M. 450
Propositional logic, Regular expres-
Atom 338
sion, Relational algebra, Set algebra
Atomic formula 735
Algebraic law
Attribute 404, 414
See Associative law, Commutative
Automaton 530–556, 571–590, 637–639,
law, Distributive law, Idempotence,
704
Identity
See also Deterministic automaton,
Algol 641
ǫ-automaton, Nondeterministic au-
Algorithm 4–5, 20
tomaton
Alphabetic order
Average-case running time 93, 215–216,
See Lexicographic order 270–271
Ambiguous grammar 610–616 See also Running time
American National Standards Institute 24 Awk 450, 566
Anagram 178
See also Partial anagram B
Ancestor 226, 254
See also Lowest common ancestor Backus, J. W. 641
AND 10, 644, 649, 651–652, 657, 675–679, Backus-Naur form
688, 700, 740, 756–757 Backward arc 488, 494
Annihilator 570, 675–676 Backward induction 72
776
INDEX 777
Bag C
See Multiset
Balanced parentheses 64–68, 594–596, 610– C 3, 7, 13–20, 22–23, 25, 64, 265, 312, 368,
611 562, 741–742, 758
Bar-Hillel, Y. 641 Call by reference 265
Calling graph 129–130, 455
Basis 28, 35, 44–46, 59, 132
Cantor, G. 402
Bayes’ rule 202
Car 290
Bell curve 175–176
Carry 10
Bellman, R. E. 335 Carry-in/out 656
Benchmarking 91 Carry-propagate/generate 717–720
Berge, C. 527 Cartesian product 367–368
Berlekamp, E. R. 88 Case analysis 683
Big-oh 96–109, 303, 355 Cdr 290
Bin 181 Cell 7, 23, 293
Binary operator 50 Chamberlin, D. D. 450
Binary relation 366, 380–396 Character 13
Binary search 304–305 Character class 565
Character string 287, 327–333
Binary search tree 258–271
Characteristic vector 357–360, 376, 379,
Binary search tree property 259
383–384
Binary tree 253–258
Child 224, 254
See also Binary search tree, Partially See also Left child, Right child
ordered tree Chip 523, 711, 731
Binomial coefficient 176 Chomsky, N. 641
Bipartite graph 524 Chromatic number 524
Bit 10, 159 Chuck-a-Luck 182
Blackjack 187 Circuit 523
Block 110–111, 114–115, 117, 122–123, 597 See also Logic circuit
Block, of a program Circuit delay 711, 721, 727–728
BNF Circular array 320–321
See Backus-Naur form Clarity 90
Body, of a production 593 Class
See Abstract data type
Body, of a rule 763
Clause 692, 738
See also Hypothesis
Clear (operation on stacks, queues) 307–
Boole, G. 698 308, 318
BOOLEAN 22 Clique 525
Boolean algebra 5, 642 Closed expression 755
Boolean function 647–648, 655–660 Closure 393–395, 560–561
Borodin, A. B. 155 See also Connected component, Topo-
Bounce filter 533–535 logical sorting, Transitive closure
Bound variable 741–744 Codd, E. F. 450
Branching factor 232 Coersion 20
Break Coloring 524–525
Combinational circuit 702
See Jump-statement
Combinations 171–178, 258
Bridge 187
Combinatorics 156–187
Brooks, F. P. 24
Common subsequence 321
BST See also LCS
See Binary search tree Commutative law 47, 344, 441–442, 570,
Bubbledown 276, 508–509 674–675
Bubbleup 274–276, 508–509 Comparable elements 390
Bucket 362 Comparison operator 19, 109
778 INDEX
For all H
See Universal quantifier
For-statement 111–112, 115, 117, 121–122, Halmos, P. R. 402
129 Hash function 362
Fortran 641 Hashing 360–366, 376–379, 384, 409
Head, of a list 288
Forward arc 488, 494
See also Car
Fredkin, E. 285
Head, of a production 593
free 18 Head, of a rule 763
Free variable 741–744 See also Conclusion
Friedman, A. D. 732 Head, of an arc 452–453
Front 318 Heap (data structure) 273–279
Full binary tree 257, 269–270 Heapify 281–282
Full stack 307–308 Heapsort 280–284
Full tree Height 226, 244–247, 254, 472–473
Function 17–18, 69, 127–136, 312–318, Held, G. 450
370–380 Hennessy, J. L. 732
Hopcroft, J. E. 155, 335, 527, 589, 641
See also Boolean function, Monotone
Huffman, D. A. 589
function
Hunt, J. W. 335
Fuzzy logic 211
Hypothesis 686
See also Body, of a rule
G
I
Garey, M. R. 698
Gate 9–10, 700–701 Idempotence 346, 570, 676
GCD Identifier 17
See Greatest common divisor Identity 292, 345, 569, 675
Genesereth, M. R. 698 If-statement 112–114, 117, 122, 129, 597,
Geometric series 42 643
Global variable 22, 741 Implicant 661, 665
See also Static variable Implication 650, 652, 679
Implication of events 209–210
Godel, K. 770, 775
Important state 579
Goto
Incommensurate functions 108
See Jump-statement Incompleteness theorem 770–771
Graham, R. L. 155, 221–222 Increment 19
Grammar 591–641 In-degree 462
Graph 369, 451–528, 531 Independent experiments 195–197, 200–
See also Acyclic graph, Bipartite 201
graph, Calling graph, Course-conflict Index 425–426
graph, Directed graph, Planar graph, See also Primary index, Secondary in-
Reduced graph, Undirected graph dex
Greatest common divisor 74–75 Index-join 438–439
Greedy algorithm 481 Indirect recursion 69, 455
Green, B. F. 335 Induction 27, 34–51, 253
Grep See also Backward induction, Com-
plete induction, Structural induction
See Egrep
Inductive assertion
Ground atomic formula 735 See Loop invariant
Ground literal 736 Inductive definition
Growth rate 99 See Recursive definition
See also Big-oh Inductive hypothesis 35
Guessing a solution 148–152 Inductive step 28, 35, 44, 59, 132
INDEX 781