{"id":"https://openalex.org/W92866784","doi":"https://doi.org/10.1051/ita/1981150100231","title":"On subdirectly irreducible automata","display_name":"On subdirectly irreducible automata","publication_year":1981,"publication_date":"1981-01-01","ids":{"openalex":"https://openalex.org/W92866784","doi":"https://doi.org/10.1051/ita/1981150100231","mag":"92866784"},"language":"fr","primary_location":{"id":"doi:10.1051/ita/1981150100231","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita/1981150100231","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/1981/01/ita1981150100231.pdf","source":{"id":"https://openalex.org/S4210182724","display_name":"RAIRO Informatique th\u00e9orique","issn_l":"0399-0540","issn":["0399-0540","2777-3337"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO. Informatique th\u00e9orique","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.rairo-ita.org/articles/ita/pdf/1981/01/ita1981150100231.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034275652","display_name":"Marie Demlov\u00e1","orcid":null},"institutions":[{"id":"https://openalex.org/I1308524746","display_name":"Ministry of Finance of the Czech Republic","ror":"https://ror.org/00mjd8b34","country_code":"CZ","type":"government","lineage":["https://openalex.org/I1308524746"]},{"id":"https://openalex.org/I333027446","display_name":"Union of Czech Mathematicians and Physicists","ror":"https://ror.org/02vrjqh13","country_code":"CZ","type":"other","lineage":["https://openalex.org/I333027446"]},{"id":"https://openalex.org/I4210158423","display_name":"State Institute for Drug Control","ror":"https://ror.org/04myyf417","country_code":"CZ","type":"government","lineage":["https://openalex.org/I4210158423"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"M. Demlov\u00e1","raw_affiliation_strings":[") VCUK, MFF UK, Malostransk\u00e9 nam. 25, 11800 Praha 1, Czechoslovakia",") Katedra Matematik, FEL (\u00ceVUT, Suchb\u00e2tarova 2, 16627 Praha 6, Czechoslovakia. (",") Katedra ASfc, FSv CVUT, Th\u00e2kurova 7, 16629 Praha 6, Czechoslovakia"],"affiliations":[{"raw_affiliation_string":") VCUK, MFF UK, Malostransk\u00e9 nam. 25, 11800 Praha 1, Czechoslovakia","institution_ids":["https://openalex.org/I1308524746"]},{"raw_affiliation_string":") Katedra Matematik, FEL (\u00ceVUT, Suchb\u00e2tarova 2, 16627 Praha 6, Czechoslovakia. (","institution_ids":["https://openalex.org/I333027446"]},{"raw_affiliation_string":") Katedra ASfc, FSv CVUT, Th\u00e2kurova 7, 16629 Praha 6, Czechoslovakia","institution_ids":["https://openalex.org/I4210158423"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009480681","display_name":"Ji\u0159\u00ed Demel","orcid":null},"institutions":[{"id":"https://openalex.org/I1308524746","display_name":"Ministry of Finance of the Czech Republic","ror":"https://ror.org/00mjd8b34","country_code":"CZ","type":"government","lineage":["https://openalex.org/I1308524746"]},{"id":"https://openalex.org/I333027446","display_name":"Union of Czech Mathematicians and Physicists","ror":"https://ror.org/02vrjqh13","country_code":"CZ","type":"other","lineage":["https://openalex.org/I333027446"]},{"id":"https://openalex.org/I4210158423","display_name":"State Institute for Drug Control","ror":"https://ror.org/04myyf417","country_code":"CZ","type":"government","lineage":["https://openalex.org/I4210158423"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"J. Demel","raw_affiliation_strings":[") VCUK, MFF UK, Malostransk\u00e9 nam. 25, 11800 Praha 1, Czechoslovakia",") Katedra Matematik, FEL (\u00ceVUT, Suchb\u00e2tarova 2, 16627 Praha 6, Czechoslovakia. (",") Katedra ASfc, FSv CVUT, Th\u00e2kurova 7, 16629 Praha 6, Czechoslovakia"],"affiliations":[{"raw_affiliation_string":") VCUK, MFF UK, Malostransk\u00e9 nam. 25, 11800 Praha 1, Czechoslovakia","institution_ids":["https://openalex.org/I1308524746"]},{"raw_affiliation_string":") Katedra Matematik, FEL (\u00ceVUT, Suchb\u00e2tarova 2, 16627 Praha 6, Czechoslovakia. (","institution_ids":["https://openalex.org/I333027446"]},{"raw_affiliation_string":") Katedra ASfc, FSv CVUT, Th\u00e2kurova 7, 16629 Praha 6, Czechoslovakia","institution_ids":["https://openalex.org/I4210158423"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031559202","display_name":"V\u00e1c\u0142av Koubek","orcid":null},"institutions":[{"id":"https://openalex.org/I1308524746","display_name":"Ministry of Finance of the Czech Republic","ror":"https://ror.org/00mjd8b34","country_code":"CZ","type":"government","lineage":["https://openalex.org/I1308524746"]},{"id":"https://openalex.org/I333027446","display_name":"Union of Czech Mathematicians and Physicists","ror":"https://ror.org/02vrjqh13","country_code":"CZ","type":"other","lineage":["https://openalex.org/I333027446"]},{"id":"https://openalex.org/I4210158423","display_name":"State Institute for Drug Control","ror":"https://ror.org/04myyf417","country_code":"CZ","type":"government","lineage":["https://openalex.org/I4210158423"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"V. Koubek","raw_affiliation_strings":[") Katedra Matematik, FEL (\u00ceVUT, Suchb\u00e2tarova 2, 16627 Praha 6, Czechoslovakia. (",") Katedra ASfc, FSv CVUT, Th\u00e2kurova 7, 16629 Praha 6, Czechoslovakia",") VCUK, MFF UK, Malostransk\u00e9 nam. 25, 11800 Praha 1, Czechoslovakia"],"affiliations":[{"raw_affiliation_string":") Katedra Matematik, FEL (\u00ceVUT, Suchb\u00e2tarova 2, 16627 Praha 6, Czechoslovakia. (","institution_ids":["https://openalex.org/I333027446"]},{"raw_affiliation_string":") Katedra ASfc, FSv CVUT, Th\u00e2kurova 7, 16629 Praha 6, Czechoslovakia","institution_ids":["https://openalex.org/I4210158423"]},{"raw_affiliation_string":") VCUK, MFF UK, Malostransk\u00e9 nam. 25, 11800 Praha 1, Czechoslovakia","institution_ids":["https://openalex.org/I1308524746"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5034275652"],"corresponding_institution_ids":["https://openalex.org/I1308524746","https://openalex.org/I333027446","https://openalex.org/I4210158423"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.00908323,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"15","issue":"1","first_page":"23","last_page":"46"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9995999932289124,"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.9976999759674072,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9919000267982483,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6544753313064575},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.583041787147522},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.5724226236343384},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5233815908432007},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.517396092414856},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.4771161377429962},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4232368469238281},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4198117256164551},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.24395683407783508},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.10220113396644592}],"concepts":[{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6544753313064575},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.583041787147522},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.5724226236343384},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5233815908432007},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.517396092414856},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.4771161377429962},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4232368469238281},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4198117256164551},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.24395683407783508},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.10220113396644592},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1051/ita/1981150100231","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita/1981150100231","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/1981/01/ita1981150100231.pdf","source":{"id":"https://openalex.org/S4210182724","display_name":"RAIRO Informatique th\u00e9orique","issn_l":"0399-0540","issn":["0399-0540","2777-3337"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO. Informatique th\u00e9orique","raw_type":"journal-article"},{"id":"pmh:oai:edpsciences.org:dkey/10.1051/ita/1981150100231","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400744","display_name":"Springer Link (Chiba Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I8488066","host_organization_name":"Chiba Institute of Technology","host_organization_lineage":["https://openalex.org/I8488066"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://doi.org/10.1051/ita/1981150100231","raw_type":"Text"},{"id":"pmh:oai:numdam.org:ITA_1981__15_1_23_0","is_oa":false,"landing_page_url":"http://www.numdam.org/item/ITA_1981__15_1_23_0/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402264","display_name":"French digital mathematics library (Numdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I70900168","host_organization_name":"Universit\u00e9 Savoie Mont Blanc","host_organization_lineage":["https://openalex.org/I70900168"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1051/ita/1981150100231","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita/1981150100231","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/1981/01/ita1981150100231.pdf","source":{"id":"https://openalex.org/S4210182724","display_name":"RAIRO Informatique th\u00e9orique","issn_l":"0399-0540","issn":["0399-0540","2777-3337"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO. Informatique th\u00e9orique","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W92866784.pdf","grobid_xml":"https://content.openalex.org/works/W92866784.grobid-xml"},"referenced_works_count":4,"referenced_works":["https://openalex.org/W184349254","https://openalex.org/W1655990431","https://openalex.org/W1987243149","https://openalex.org/W2332968737"],"related_works":["https://openalex.org/W3107994849","https://openalex.org/W4247143848","https://openalex.org/W2009883749","https://openalex.org/W2735573198","https://openalex.org/W29442446","https://openalex.org/W3162204513","https://openalex.org/W330727063","https://openalex.org/W2896904446","https://openalex.org/W2371138613","https://openalex.org/W1483407203"],"abstract_inverted_index":{"An":[0,15],"automaton":[1,33],"{finite":[2],"or":[3],"infinit)":[4],"is":[5,20,34],"subdirectly":[6,35],"irreducible":[7,36],"iff":[8],"it":[9],"has":[10],"no":[11],"non-trivial":[12],"parallel":[13],"dcomposition.":[14],"algebraic":[16],"characterization":[17],"ofsuch":[18],"automata":[19],"given":[21,31],"as":[22,24],"well":[23],"an":[25],"algorithm":[26],"for":[27],"deciding":[28],"whether":[29],"a":[30],"finite":[32],"that":[37],"runs":[38],"in":[39],"polynomial":[40],"time.":[41]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}