{"id":"https://openalex.org/W4231742674","doi":"https://doi.org/10.1109/tec.1961.5219265","title":"On the State Assignment Problem for Sequential Machines II","display_name":"On the State Assignment Problem for Sequential Machines II","publication_year":1961,"publication_date":"1961-12-01","ids":{"openalex":"https://openalex.org/W4231742674","doi":"https://doi.org/10.1109/tec.1961.5219265"},"language":"en","primary_location":{"id":"doi:10.1109/tec.1961.5219265","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tec.1961.5219265","pdf_url":null,"source":{"id":"https://openalex.org/S60436882","display_name":"IEEE Transactions on Electronic Computers","issn_l":"0367-7508","issn":["0367-7508"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Electronic Computers","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052202085","display_name":"Richard E. Stearns","orcid":"https://orcid.org/0000-0001-5058-1999"},"institutions":[{"id":"https://openalex.org/I1332737386","display_name":"General Electric (United States)","ror":"https://ror.org/013msgt25","country_code":"US","type":"company","lineage":["https://openalex.org/I1332737386"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. E. Stearns","raw_affiliation_strings":["General Electric Research Laboratory, Schenectady, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"General Electric Research Laboratory, Schenectady, NY, USA","institution_ids":["https://openalex.org/I1332737386"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113491219","display_name":"J. Hartmanis","orcid":null},"institutions":[{"id":"https://openalex.org/I1332737386","display_name":"General Electric (United States)","ror":"https://ror.org/013msgt25","country_code":"US","type":"company","lineage":["https://openalex.org/I1332737386"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. Hartmanis","raw_affiliation_strings":["General Electric Research Laboratory, Schenectady, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"General Electric Research Laboratory, Schenectady, NY, USA","institution_ids":["https://openalex.org/I1332737386"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I1332737386"],"apc_list":null,"apc_paid":null,"fwci":41.3154,"has_fulltext":false,"cited_by_count":73,"citation_normalized_percentile":{"value":0.99748111,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"EC-10","issue":"4","first_page":"593","last_page":"603"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9854000210762024,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9699000120162964,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6355087757110596},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.5757352113723755},{"id":"https://openalex.org/keywords/state-variable","display_name":"State variable","score":0.562292218208313},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.5548958778381348},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5539848804473877},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5523062348365784},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5409935116767883},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4673106372356415},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4476008415222168},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4280615448951721},{"id":"https://openalex.org/keywords/sequential-logic","display_name":"Sequential logic","score":0.4280356466770172},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.41480323672294617},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40911751985549927},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3729400038719177},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.34621548652648926},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.17210429906845093},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.12106648087501526}],"concepts":[{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6355087757110596},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.5757352113723755},{"id":"https://openalex.org/C129537906","wikidata":"https://www.wikidata.org/wiki/Q7603913","display_name":"State variable","level":2,"score":0.562292218208313},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.5548958778381348},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5539848804473877},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5523062348365784},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5409935116767883},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4673106372356415},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4476008415222168},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4280615448951721},{"id":"https://openalex.org/C187075797","wikidata":"https://www.wikidata.org/wiki/Q173245","display_name":"Sequential logic","level":3,"score":0.4280356466770172},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.41480323672294617},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40911751985549927},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3729400038719177},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.34621548652648926},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.17210429906845093},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.12106648087501526},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tec.1961.5219265","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tec.1961.5219265","pdf_url":null,"source":{"id":"https://openalex.org/S60436882","display_name":"IEEE Transactions on Electronic Computers","issn_l":"0367-7508","issn":["0367-7508"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Electronic Computers","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320331146","display_name":"Agencia Nacional de Investigaci\u00f3n y Desarrollo","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W2040233798","https://openalex.org/W2075773711","https://openalex.org/W2106483006","https://openalex.org/W3177082579","https://openalex.org/W6815558393"],"related_works":["https://openalex.org/W2535130387","https://openalex.org/W2205347728","https://openalex.org/W2188166871","https://openalex.org/W2045651232","https://openalex.org/W1531819087","https://openalex.org/W2017650358","https://openalex.org/W3013757523","https://openalex.org/W2096532933","https://openalex.org/W2783755876","https://openalex.org/W2141941412"],"abstract_inverted_index":{"The":[0,57,139],"object":[1],"of":[2,14,39,50,54,63,80,92,101,141,158],"this":[3],"paper":[4],"is":[5,30,60,97,120,145,150],"to":[6,130,152],"find":[7,131],"state":[8,42,82],"assignments":[9,34,93,135],"for":[10,35,89],"the":[11,20,24,37,47,55,61,71,78,90,123,148,156],"internal":[12],"states":[13],"a":[15,40,51,64,81],"sequential":[16],"machine":[17,25],"such":[18],"that":[19,112,122,155],"logical":[21],"equations":[22],"representing":[23],"are":[26,108],"relatively":[27],"simple.":[28],"This":[29],"done":[31],"by":[32],"finding":[33],"which":[36,67],"computation":[38],"particular":[41],"variable":[43],"depends":[44],"only":[45],"on":[46],"previous":[48],"values":[49],"small":[52],"subset":[53],"variables.":[56],"chief":[58],"tool":[59],"concept":[62],"partition":[65],"pair,":[66],"describes":[68],"(loosely":[69],"speaking)":[70],"information":[72],"going":[73],"into":[74],"and":[75,86,104,117,133,147],"resulting":[76],"from":[77],"evaluation":[79],"variable.":[83],"A":[84],"necessary":[85],"sufficient":[87],"condition":[88],"existence":[91],"with":[94,136],"reduced":[95,137],"dependence":[96],"found":[98],"in":[99],"terms":[100],"these":[102],"pairs,":[103],"their":[105],"algebraic":[106,160],"properties":[107],"worked":[109],"out":[110],"so":[111],"they":[113],"can":[114,126],"be":[115,128],"handled":[116],"generated.":[118],"It":[119],"shown":[121],"same":[124],"methods":[125],"also":[127],"used":[129],"input":[132],"output":[134],"dependence.":[138],"case":[140],"``don't":[142],"care''":[143],"conditions":[144],"considered":[146],"theory":[149],"seen":[151],"apply,":[153],"except":[154],"failure":[157],"an":[159],"property":[161],"makes":[162],"it":[163],"weaker.":[164]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}