{"id":"https://openalex.org/W4392996141","doi":"https://doi.org/10.46298/lmcs-20(1:22)2024","title":"Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise","display_name":"Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise","publication_year":2024,"publication_date":"2024-03-20","ids":{"openalex":"https://openalex.org/W4392996141","doi":"https://doi.org/10.46298/lmcs-20(1:22)2024"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-20(1:22)2024","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-20(1:22)2024","pdf_url":"https://lmcs.episciences.org/13257/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/13257/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055773964","display_name":"Lina Ye","orcid":"https://orcid.org/0000-0002-2217-4752"},"institutions":[{"id":"https://openalex.org/I4387154672","display_name":"Laboratoire M\u00e9thodes Formelles","ror":"https://ror.org/00gdtta79","country_code":null,"type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4387154672"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Lina Ye","raw_affiliation_strings":["LMF - Laboratoire M\u00e9thodes Formelles (4, avenue des Sciences, 91190, Gif-sur-Yvette - France)"],"affiliations":[{"raw_affiliation_string":"LMF - Laboratoire M\u00e9thodes Formelles (4, avenue des Sciences, 91190, Gif-sur-Yvette - France)","institution_ids":["https://openalex.org/I4387154672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080485972","display_name":"Igor Khmelnitsky","orcid":"https://orcid.org/0000-0002-5132-5839"},"institutions":[{"id":"https://openalex.org/I4387154672","display_name":"Laboratoire M\u00e9thodes Formelles","ror":"https://ror.org/00gdtta79","country_code":null,"type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4387154672"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Igor Khmelnitsky","raw_affiliation_strings":["LMF - Laboratoire M\u00e9thodes Formelles (4, avenue des Sciences, 91190, Gif-sur-Yvette - France)"],"affiliations":[{"raw_affiliation_string":"LMF - Laboratoire M\u00e9thodes Formelles (4, avenue des Sciences, 91190, Gif-sur-Yvette - France)","institution_ids":["https://openalex.org/I4387154672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006881035","display_name":"Serge Haddad","orcid":"https://orcid.org/0000-0002-1759-1201"},"institutions":[{"id":"https://openalex.org/I4387154672","display_name":"Laboratoire M\u00e9thodes Formelles","ror":"https://ror.org/00gdtta79","country_code":null,"type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4387154672"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Serge Haddad","raw_affiliation_strings":["LMF - Laboratoire M\u00e9thodes Formelles (4, avenue des Sciences, 91190, Gif-sur-Yvette - France)"],"affiliations":[{"raw_affiliation_string":"LMF - Laboratoire M\u00e9thodes Formelles (4, avenue des Sciences, 91190, Gif-sur-Yvette - France)","institution_ids":["https://openalex.org/I4387154672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014473489","display_name":"Beno\u00eet Barbot","orcid":"https://orcid.org/0000-0003-2417-3064"},"institutions":[{"id":"https://openalex.org/I2800365227","display_name":"Paris-Est Sup","ror":"https://ror.org/0268ecp52","country_code":"FR","type":"education","lineage":["https://openalex.org/I2800365227"]},{"id":"https://openalex.org/I197681013","display_name":"Universit\u00e9 Paris-Est Cr\u00e9teil","ror":"https://ror.org/05ggc9x40","country_code":"FR","type":"education","lineage":["https://openalex.org/I197681013"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Beno\u00eet Barbot","raw_affiliation_strings":["LACL - Laboratoire d'Algorithmique Complexit\u00e9 et Logique (LACL, Universit\u00e9 Paris-Est Cr\u00e9teil Val-de-Marne, 61 avenue du G\u00e9n\u00e9ral de Gaulle 94010 Cr\u00e9teil cedex - France)"],"affiliations":[{"raw_affiliation_string":"LACL - Laboratoire d'Algorithmique Complexit\u00e9 et Logique (LACL, Universit\u00e9 Paris-Est Cr\u00e9teil Val-de-Marne, 61 avenue du G\u00e9n\u00e9ral de Gaulle 94010 Cr\u00e9teil cedex - France)","institution_ids":["https://openalex.org/I2800365227","https://openalex.org/I197681013"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082538918","display_name":"Benedikt Bollig","orcid":"https://orcid.org/0000-0003-0985-6115"},"institutions":[{"id":"https://openalex.org/I4387154672","display_name":"Laboratoire M\u00e9thodes Formelles","ror":"https://ror.org/00gdtta79","country_code":null,"type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4387154672"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Benedikt Bollig","raw_affiliation_strings":["LMF - Laboratoire M\u00e9thodes Formelles (4, avenue des Sciences, 91190, Gif-sur-Yvette - France)"],"affiliations":[{"raw_affiliation_string":"LMF - Laboratoire M\u00e9thodes Formelles (4, avenue des Sciences, 91190, Gif-sur-Yvette - France)","institution_ids":["https://openalex.org/I4387154672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002397514","display_name":"Martin Leucker","orcid":"https://orcid.org/0000-0002-3696-9222"},"institutions":[{"id":"https://openalex.org/I9341345","display_name":"University of L\u00fcbeck","ror":"https://ror.org/00t3r8h32","country_code":"DE","type":"education","lineage":["https://openalex.org/I9341345"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martin Leucker","raw_affiliation_strings":["Universit\u00e4t zu L\u00fcbeck = University of L\u00fcbeck [L\u00fcbeck] (Ratzeburger Allee 160\r\n23562 L\u00fcbeck - Germany)"],"affiliations":[{"raw_affiliation_string":"Universit\u00e4t zu L\u00fcbeck = University of L\u00fcbeck [L\u00fcbeck] (Ratzeburger Allee 160\r\n23562 L\u00fcbeck - Germany)","institution_ids":["https://openalex.org/I9341345"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064701353","display_name":"Daniel Neider","orcid":"https://orcid.org/0000-0001-9276-6342"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Daniel Neider","raw_affiliation_strings":["TU - Technische Universit\u00e4t Dortmund [Dortmund] (44221 Dortmund - Germany)"],"affiliations":[{"raw_affiliation_string":"TU - Technische Universit\u00e4t Dortmund [Dortmund] (44221 Dortmund - Germany)","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078181730","display_name":"Rajarshi Roy","orcid":"https://orcid.org/0000-0002-0202-1169"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Rajarshi Roy","raw_affiliation_strings":["MPI-SWS - Max Planck Institute for Software Systems (D-66111 Saarbr\u00fccken/D-67663 Kaiserslautern - Germany)"],"affiliations":[{"raw_affiliation_string":"MPI-SWS - Max Planck Institute for Software Systems (D-66111 Saarbr\u00fccken/D-67663 Kaiserslautern - Germany)","institution_ids":["https://openalex.org/I4210121786"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5055773964"],"corresponding_institution_ids":["https://openalex.org/I4387154672"],"apc_list":null,"apc_paid":null,"fwci":0.3634,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.62260237,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"Volume 20, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":1.0,"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":1.0,"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/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/T11269","display_name":"Algorithms and Data Compression","score":0.9994000196456909,"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/equivalence","display_name":"Equivalence (formal languages)","score":0.6153451800346375},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6144328713417053},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5680634379386902},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5516744256019592},{"id":"https://openalex.org/keywords/deterministic-finite-automaton","display_name":"Deterministic finite automaton","score":0.5291647911071777},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.4356883764266968},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.4314272105693817},{"id":"https://openalex.org/keywords/probabilistic-automaton","display_name":"Probabilistic automaton","score":0.425481915473938},{"id":"https://openalex.org/keywords/regular-language","display_name":"Regular language","score":0.4152686297893524},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.41051626205444336},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3710881173610687},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35600271821022034},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.32874196767807007},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3287316560745239},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.21891391277313232}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6153451800346375},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6144328713417053},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5680634379386902},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5516744256019592},{"id":"https://openalex.org/C104091681","wikidata":"https://www.wikidata.org/wiki/Q837528","display_name":"Deterministic finite automaton","level":3,"score":0.5291647911071777},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.4356883764266968},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.4314272105693817},{"id":"https://openalex.org/C174784677","wikidata":"https://www.wikidata.org/wiki/Q176567","display_name":"Probabilistic automaton","level":3,"score":0.425481915473938},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.4152686297893524},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.41051626205444336},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3710881173610687},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35600271821022034},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32874196767807007},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3287316560745239},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.21891391277313232},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.46298/lmcs-20(1:22)2024","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-20(1:22)2024","pdf_url":"https://lmcs.episciences.org/13257/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-04796195v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04796195","pdf_url":"https://hal.science/hal-04796195/document","source":{"id":"https://openalex.org/S4406922466","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, 2024, 20 (1), ⟨10.46298/lmcs-20(1:22)2024⟩","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:8dd86d71259747fa8d865384a168fb80","is_oa":true,"landing_page_url":"https://doaj.org/article/8dd86d71259747fa8d865384a168fb80","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 20, Issue 1 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-20(1:22)2024","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-20(1:22)2024","pdf_url":"https://lmcs.episciences.org/13257/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4392996141.pdf"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W1520252399","https://openalex.org/W1529010373","https://openalex.org/W1567904269","https://openalex.org/W1581219065","https://openalex.org/W1601135321","https://openalex.org/W1989445634","https://openalex.org/W1995897489","https://openalex.org/W2017603160","https://openalex.org/W2036478832","https://openalex.org/W2054160712","https://openalex.org/W2076343783","https://openalex.org/W2080028974","https://openalex.org/W2101672116","https://openalex.org/W2107189314","https://openalex.org/W2128004631","https://openalex.org/W2130826964","https://openalex.org/W2180443860","https://openalex.org/W2340709770","https://openalex.org/W2500302530","https://openalex.org/W2509841691","https://openalex.org/W2735911163","https://openalex.org/W2749107309","https://openalex.org/W2770406504","https://openalex.org/W2888585419","https://openalex.org/W3037554454","https://openalex.org/W3139531864","https://openalex.org/W4213350211","https://openalex.org/W4238472918","https://openalex.org/W4238893454","https://openalex.org/W4249429970"],"related_works":["https://openalex.org/W2139519154","https://openalex.org/W2010706856","https://openalex.org/W2138155336","https://openalex.org/W1566446734","https://openalex.org/W2006629323","https://openalex.org/W2159449605","https://openalex.org/W2772918710","https://openalex.org/W2936871543","https://openalex.org/W2963363665","https://openalex.org/W1987322712"],"abstract_inverted_index":{"Angluin's":[0,79,101,252],"L$^*$":[1],"algorithm":[2,59,82,102,253],"learns":[3],"the":[4,41,65,68,104,112,116,125,128,132,137,144,152,155,162,165,169,175,186,200,203,209,221,234,257],"minimal":[5],"deterministic":[6],"finite":[7],"automaton":[8,63],"(DFA)":[9],"of":[10,51,67,134,154,171,202],"a":[11,36,90,108,140,149,172,181,192,214,263,270,284],"regular":[12,285],"language":[13,201],"using":[14],"membership":[15,32],"and":[16,53,106,177,184,232],"equivalence":[17,27],"queries.":[18],"Its":[19],"probabilistic":[20],"approximatively":[21],"correct":[22],"(PAC)":[23],"version":[24],"substitutes":[25],"an":[26,58,62],"query":[28],"by":[29,92,191,220,262],"numerous":[30],"random":[31,193,264],"queries":[33],"to":[34,40,48,111,123,278],"get":[35],"high":[37],"level":[38],"confidence":[39],"answer.":[42],"Thus":[43],"it":[44,226,237],"can":[45],"be":[46,55],"applied":[47],"any":[49],"kind":[50],"device":[52,69,130,146,167,259],"may":[54],"viewed":[56],"as":[57],"for":[60,84],"synthesizing":[61],"abstracting":[64],"behavior":[66],"based":[70],"on":[71,77],"observations.":[72],"Here":[73],"we":[74,98,288],"are":[75,87],"interested":[76],"how":[78],"PAC":[80],"learning":[81],"behaves":[83,254],"devices":[85],"which":[86],"obtained":[88,190],"from":[89,195],"DFA":[91,109,138,176,188,197],"introducing":[93],"some":[94],"noise.":[95],"More":[96],"precisely":[97],"study":[99],"whether":[100],"reduces":[103],"noise":[105],"produces":[107],"closer":[110],"original":[113],"one":[114,205],"than":[115],"noisy":[117,129,145,166,187,258],"device.":[118],"We":[119],"propose":[120],"several":[121],"ways":[122],"introduce":[124],"noise:":[126],"(1)":[127,251],"inverts":[131],"classification":[133,160,170,179],"words":[135],"w.r.t.":[136,161,174,180],"with":[139,148,240,269,296],"small":[141,150],"probability,":[142],"(2)":[143,266],"modifies":[147],"probability":[151,241],"letters":[153],"word":[156,173,215],"before":[157],"asking":[158],"its":[159,178],"DFA,":[163],"(3)":[164,275],"combines":[168],"counter":[182],"automaton,":[183],"(4)":[185],"is":[189,206,216,227,238,260,276],"process":[194],"two":[196],"such":[198],"that":[199,274,290],"first":[204,222],"included":[207],"in":[208,233,248,283],"second":[210],"one.":[211],"Then":[212],"when":[213],"accepted":[217,229,239],"(resp.":[218,223,230],"rejected)":[219,231],"second)":[224],"one,":[225],"also":[228],"remaining":[235],"cases,":[236],"0.5.":[242],"Our":[243],"main":[244],"experimental":[245],"contributions":[246],"consist":[247],"showing":[249],"that:":[250],"well":[255],"whenever":[256],"produced":[261],"process,":[265],"but":[267],"poorly":[268],"structured":[271],"noise,":[272],"and,":[273],"able":[277],"eliminate":[279],"pathological":[280],"behaviours":[281],"specified":[282],"way.":[286],"Theoretically,":[287],"show":[289],"randomness":[291],"almost":[292],"surely":[293],"yields":[294],"systems":[295],"non-recursively":[297],"enumerable":[298],"languages.":[299]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-11T14:59:36.786465","created_date":"2025-10-10T00:00:00"}