00826cz 2200229n 4500 sh85079341 DLC 20060807132954.0 860211|| anannbabn |b ana sh 85079341 DLC DLC DLC QA267 QA268.5 Machine theory Abstract automata Abstract machines nne Automata Mathematical machine theory g Algorithms g Logic, Symbolic and mathematical g Recursive functions Robotics Here 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.