Logic, automata, and algorithms /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: A�izerman, M. A. (Mark Aronovich), 1913-1992
Formato: Electrónico eBook
Idioma:Inglés
Ruso
Publicado: New York ; London : Academic Press, 1971.
Colección:Mathematics in science and engineering ; v. 79.
Temas:
Sequential machine theory.
Logic, Symbolic and mathematical.
Algorithms.
Algorithms
Machines s�equentielles (Th�eorie)
Logique symbolique et math�ematique.
Algorithmes.
Th�eorie des machines s�equentielles.
algorithms.
TECHNOLOGY & ENGINEERING > Automation.
Commutation.
Logic, Symbolic and mathematical
Sequential machine theory
Automatentheorie
Machines s�equentielles, Th�eorie des.
Automates math�ematiques, Th�eorie des.
Automata theory
Acceso en línea:Texto completo
Texto completo
Texto completo
Tabla de Contenidos:
  • Elements of mathematical logic
  • Engineering applications of propositional calculus
  • Finite automata and sequential machines ; basic concepts
  • Abstract structure and nets
  • Technical embodiment of finite automata and sequential machines
  • Autonomous finite automata and sequential machines
  • Representation of events in finite automata and sequential machines
  • Recognition of realizability of a given specification, abstratc synthesis of finite automata and sequential machines
  • Equivalence and minimization of sequential machines
  • Transformation of clock rates of sequential machines
  • Determination of the properties of sequential machines from their response to finite input sequences
  • Algorithms
  • Turing machines
  • Conclusion
  • Problems.

Ejemplares similares