What people are saying - Write a review
We haven't found any reviews in the usual places.
Languages with homomorphic replacements
Languages with reducing reflexive types
19 other sections not shown
Other editions - View all
abstract data types algebra semantics algorithm applied assume attribute grammars automata axioms binary bp-system called characterization complete Computer Science congruence consider constant construction contains context free language context-free context-free grammar Corollary corresponding defined definition denote deterministic domain dynamic logic elements equations equivalent evaluation example exists finite fixpoint formal formula function functor given graph Hence homomorphism IMPL implementation implies induction initial algebra input integer isomorphic Lemma linear LL(k locally testable LR(k matrices morphism nearest neighbor nearest neighbor searching node nondeterministic nonterminal notation obtained operations optimal parameterized partition pebble polynomial predicate problem production programming language proof Proposition prove recursive reduced relation resp restart result satisfies semantics semigroupes sequence simulation sort SPEC SPEC1 specification strategy string subset symbol syntactic tape terminal Theorem théorème theory tion transaction transformation tree Turing machine values variables variété