VDict - Definition of automata theory

search result for automata theory in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

block transfer computations GRG directed set minimal automaton Universal algebra type assignment Axiom of Choice closed term \sqsubseteq LAMBDA beta conversion pi-calculus Abstract Machine Notation monotonic boundedly complete COLD-K bottom F+L AGM Theory for Belief Revision distributive lattice disjoint union proof theory PROSE effective computable Ontic complete partial ordering compactness preserving reduction strategy Gottlob Frege low-bandwidth complete ASL+syntax tree backward analysis Algebra of Communicating Processes Pari combination semantics join Cornell Theory Center linear logic NIAL reflexive nondeterministic automaton B-Method CHARITY Godzillagram decision problem Omega-algebraic plonk set complement discriminated union burn-in period proof alpha conversion complete metric space steganography operational semantics linear argument Institut National de Recherche en Informatique et Automatique Mu static analysis Bird-Meertens Formalism rdb Busy Beaver monad infinite toy language Church of the SubGenius Basic Encoding Rules constructor GAP functor chromatic number black art least upper bound open/closed principle typed lambda-calculus relational algebra eta conversion

First < Previous 1 2 3 Next > Last