<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Machine theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#elementList> _:bnode7authoritiessubjectssh85079341 . 
_:bnode7authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:bnode8authoritiessubjectssh85079341 . 
_:bnode7authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> . 
_:bnode8authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#TopicElement> . 
_:bnode8authoritiessubjectssh85079341 <http://www.loc.gov/mads/rdf/v1#elementValue> "Machine theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasBroaderAuthority> <http://id.loc.gov/authorities/subjects/sh85003487> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasBroaderAuthority> <http://id.loc.gov/authorities/subjects/sh85078115> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasBroaderAuthority> <http://id.loc.gov/authorities/subjects/sh85112014> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasEarlierEstablishedForm> _:bnode14authoritiessubjectssh85079341 . 
_:bnode14authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
_:bnode14authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> . 
_:bnode14authoritiessubjectssh85079341 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Automata"@en . 
_:bnode14authoritiessubjectssh85079341 <http://www.loc.gov/mads/rdf/v1#elementList> _:bnode19authoritiessubjectssh85079341 . 
_:bnode19authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:bnode20authoritiessubjectssh85079341 . 
_:bnode19authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> . 
_:bnode20authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#TopicElement> . 
_:bnode20authoritiessubjectssh85079341 <http://www.loc.gov/mads/rdf/v1#elementValue> "Automata"@en . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85131299> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh93008808> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85031658> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasReciprocalAuthority> <http://id.loc.gov/authorities/subjects/sh85114628> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85107088> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85120149> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85029552> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85138778> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh87003035> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85079324> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85029473> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh92003782> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85027654> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85105417> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh91004570> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh2002004411> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85008180> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85073593> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh2011005758> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85078117> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85050802> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasExactExternalAuthority> <http://stitch.cs.vu.nl/vocabularies/rameau/ark:/12148/cb119395737> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasExactExternalAuthority> <http://stitch.cs.vu.nl/vocabularies/rameau/ark:/12148/cb11936913r> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <http://d-nb.info/gnd/4831958-2> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <http://d-nb.info/gnd/4003953-5> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <http://d-nb.info/gnd/4141155-9> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#classification> "QA267-QA268.5" . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/subjects/collection_LCSHAuthorizedHeadings> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSScheme> <http://id.loc.gov/authorities/subjects> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/subjects/collection_LCSH_General> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:bnode54authoritiessubjectssh85079341 . 
_:bnode54authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
_:bnode54authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> . 
_:bnode54authoritiessubjectssh85079341 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Abstract automata"@en . 
_:bnode54authoritiessubjectssh85079341 <http://www.loc.gov/mads/rdf/v1#elementList> _:bnode59authoritiessubjectssh85079341 . 
_:bnode59authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:bnode60authoritiessubjectssh85079341 . 
_:bnode59authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> . 
_:bnode60authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#TopicElement> . 
_:bnode60authoritiessubjectssh85079341 <http://www.loc.gov/mads/rdf/v1#elementValue> "Abstract automata"@en . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:bnode63authoritiessubjectssh85079341 . 
_:bnode63authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
_:bnode63authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> . 
_:bnode63authoritiessubjectssh85079341 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Abstract machines"@en . 
_:bnode63authoritiessubjectssh85079341 <http://www.loc.gov/mads/rdf/v1#elementList> _:bnode68authoritiessubjectssh85079341 . 
_:bnode68authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:bnode69authoritiessubjectssh85079341 . 
_:bnode68authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> . 
_:bnode69authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#TopicElement> . 
_:bnode69authoritiessubjectssh85079341 <http://www.loc.gov/mads/rdf/v1#elementValue> "Abstract machines"@en . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:bnode72authoritiessubjectssh85079341 . 
_:bnode72authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
_:bnode72authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> . 
_:bnode72authoritiessubjectssh85079341 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Automata"@en . 
_:bnode72authoritiessubjectssh85079341 <http://www.loc.gov/mads/rdf/v1#elementList> _:bnode77authoritiessubjectssh85079341 . 
_:bnode77authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:bnode78authoritiessubjectssh85079341 . 
_:bnode77authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> . 
_:bnode78authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#TopicElement> . 
_:bnode78authoritiessubjectssh85079341 <http://www.loc.gov/mads/rdf/v1#elementValue> "Automata"@en . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:bnode81authoritiessubjectssh85079341 . 
_:bnode81authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
_:bnode81authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> . 
_:bnode81authoritiessubjectssh85079341 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Mathematical machine theory"@en . 
_:bnode81authoritiessubjectssh85079341 <http://www.loc.gov/mads/rdf/v1#elementList> _:bnode86authoritiessubjectssh85079341 . 
_:bnode86authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:bnode87authoritiessubjectssh85079341 . 
_:bnode86authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> . 
_:bnode87authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#TopicElement> . 
_:bnode87authoritiessubjectssh85079341 <http://www.loc.gov/mads/rdf/v1#elementValue> "Mathematical machine theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#note> "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." . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.w3.org/2002/07/owl#sameAs> <info:lc/authorities/sh85079341> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.w3.org/2002/07/owl#sameAs> <http://id.loc.gov/authorities/sh85079341#concept> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:bnode94authoritiessubjectssh85079341 . 
_:bnode94authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> . 
_:bnode94authoritiessubjectssh85079341 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "1986-02-11T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> . 
_:bnode94authoritiessubjectssh85079341 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "new"^^<http://www.w3.org/2001/XMLSchema#string> . 
_:bnode94authoritiessubjectssh85079341 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/dlc> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:bnode101authoritiessubjectssh85079341 . 
_:bnode101authoritiessubjectssh85079341 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> . 
_:bnode101authoritiessubjectssh85079341 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "2006-08-07T13:29:54"^^<http://www.w3.org/2001/XMLSchema#dateTime> . 
_:bnode101authoritiessubjectssh85079341 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "revised"^^<http://www.w3.org/2001/XMLSchema#string> . 
_:bnode101authoritiessubjectssh85079341 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/dlc> .