The Library of Congress > LCCN Permalink

View this record in:  MARCXML | LC Authorities & Vocabularies

Machine theory

LC control no.sh 85079341
LC classificationQA267 QA268.5
Topical headingMachine theory
    Browse this term in  LC Authorities  or the  LC Catalog
Variant(s)Abstract automata
Abstract machines
Automata
Mathematical machine theory
See alsoAlgorithms
    Browse this term in  LC Authorities
Logic, Symbolic and mathematical
    Browse this term in  LC Authorities
Recursive functions
    Browse this term in  LC Authorities
Robotics
    Browse this term in  LC Authorities
Scope noteHere are entered works on the abstract mathematical models of devices which operate within a consistent logical system in accordance with a given algorithm; such mathematical theory can be used as a basis for design but is not concerned with hardware.