. "Machine theory"@en . _:bnode7authoritiessubjectssh85079341 . _:bnode7authoritiessubjectssh85079341 . _:bnode7authoritiessubjectssh85079341 "Abstract automata"@en . _:bnode12authoritiessubjectssh85079341 . _:bnode12authoritiessubjectssh85079341 . _:bnode12authoritiessubjectssh85079341 "Abstract machines"@en . _:bnode17authoritiessubjectssh85079341 . _:bnode17authoritiessubjectssh85079341 . _:bnode17authoritiessubjectssh85079341 "Automata"@en . _:bnode22authoritiessubjectssh85079341 . _:bnode22authoritiessubjectssh85079341 . _:bnode22authoritiessubjectssh85079341 "Mathematical machine theory"@en . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "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." . . "Abstract automata"@en . "Abstract machines"@en . "Automata"@en . "Mathematical machine theory"@en . _:bnode67authoritiessubjectssh85079341 . _:bnode67authoritiessubjectssh85079341 . _:bnode67authoritiessubjectssh85079341 . _:bnode67authoritiessubjectssh85079341 "Library of Congress, Network Development and MARC Standards Office" . _:bnode67authoritiessubjectssh85079341 "1986-02-11T00:00:00"^^ . _:bnode67authoritiessubjectssh85079341 "new"^^ . _:bnode76authoritiessubjectssh85079341 . _:bnode76authoritiessubjectssh85079341 . _:bnode76authoritiessubjectssh85079341 . _:bnode76authoritiessubjectssh85079341 "Library of Congress, Network Development and MARC Standards Office" . _:bnode76authoritiessubjectssh85079341 "2006-08-07T13:29:54"^^ . _:bnode76authoritiessubjectssh85079341 "revised"^^ .