What people are saying - Write a review
We haven't found any reviews in the usual places.
MATHEMATICS AND DIGITAL SYSTEMS lgor Aleksander
AUTOMATA THEORY lgor Aleksander
PROGRAMMING LANGUAGES AND ABSTRACTION
12 other sections not shown
abstract data type acceptable algebra Algol 60 algorithm algorithm DT anyshape anysize application architecture Artificial Intelligence Associative Parallel Processor automata automaton axioms branch labeled called chapter chip circuit classified Clearly complete concept learning system concept modification concept-to-date consider construct contains decision tree decision value defined described digital systems discriminator elements enumeration expert systems extension finite finite state machine function given grammar gray grisbot heuristic implementation input instance integer interpreted logic machine mathematical systems memory merging method Micro-APP n-tuple negative examples node nonmember object names operations output partition pattern recognition pixels positive examples possible predicate probabilistic automaton problem procedure programming language properties renaming representation language represented result sequence shown in Fig specific square stack storage stored structure subset symbols terminal symbols theory tuples Turing machine variables vector version space