Advanced Digital Information SystemsIgor Aleksander |
Contents
MATHEMATICS AND DIGITAL SYSTEMS Igor Aleksander | 29 |
AUTOMATA THEORY Igor Aleksander | 77 |
PROGRAMMING LANGUAGES AND ABSTRACTION | 139 |
Copyright | |
13 other sections not shown
Common terms and phrases
abstract data type acceptable algebra algorithm algorithm DT ANYSHAPE anysize applied Artificial Intelligence automata automata theory automaton axioms binary block branch labeled chapter chip circuit classified Clearly COLOR complete concept learning concept learning system concept modification concept-to-date consider construct contains context free decimal digit decision tree decision value defined digital systems discriminator elements enumeration finite state machine function given grammar gray grisbot implementation input integer interpreted logic mathematical systems means memory merging method Micro-APP n-tuple negative examples node nonmember object names operation output partition pattern recognition positive examples possible predicate probabilistic automaton problem procedure production rules programming language properties relation renaming represented result s₁ semigroup sequence SHAPE shown in Fig specific square stack storage stored string structure subset switch symbols terminal symbols theorem theory TRIANGLE tuples Turing machine variables vector version space