{"id":"https://openalex.org/W1576097144","doi":"https://doi.org/10.1007/978-3-642-02979-0_26","title":"Amount of Nonconstructivity in Finite Automata","display_name":"Amount of Nonconstructivity in Finite Automata","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W1576097144","doi":"https://doi.org/10.1007/978-3-642-02979-0_26","mag":"1576097144"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-02979-0_26","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"book series"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"book-chapter","type_crossref":"book-chapter","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/A5017606989","display_name":"R\u016bsi\u0146\u0161 Freivalds","orcid":"https://orcid.org/0000-0001-6192-3843"},"institutions":[{"id":"https://openalex.org/I91123046","display_name":"University of Latvia","ror":"https://ror.org/05g3mes96","country_code":"LV","type":"education","lineage":["https://openalex.org/I91123046"]}],"countries":["LV"],"is_corresponding":true,"raw_author_name":"R\u016bsi\u0146\u0161 Freivalds","raw_affiliation_strings":["Institute of Mathematics and Computer Science, University of Latvia, Rai\u0146a bulv. 29, R\u012bga, Latvia"],"affiliations":[{"raw_affiliation_string":"Institute of Mathematics and Computer Science, University of Latvia, Rai\u0146a bulv. 29, R\u012bga, Latvia","institution_ids":["https://openalex.org/I91123046"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5017606989"],"corresponding_institution_ids":["https://openalex.org/I91123046"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392,"provenance":"doaj"},"apc_paid":null,"fwci":1.864,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.785517,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":83,"max":84},"biblio":{"volume":null,"issue":null,"first_page":"227","last_page":"236"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computational Complexity and Algorithmic Information Theory","score":0.9999,"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/T12002","display_name":"Computational Complexity and Algorithmic Information Theory","score":0.9999,"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/T11567","display_name":"Automata Theory and Formal Languages","score":0.9998,"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/T12029","display_name":"DNA-based Computing and Data Storage","score":0.999,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/combinatorics-on-words","display_name":"Combinatorics on Words","score":0.483697}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8428624},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.62794185},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.53921664},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37781033},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35636222}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-02979-0_26","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"book series"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":25,"referenced_works":["https://openalex.org/W147990567","https://openalex.org/W1505876086","https://openalex.org/W1507575253","https://openalex.org/W1526571572","https://openalex.org/W1554302127","https://openalex.org/W1590972739","https://openalex.org/W1678712552","https://openalex.org/W2005097301","https://openalex.org/W2045132029","https://openalex.org/W2045472305","https://openalex.org/W2067580807","https://openalex.org/W2081260821","https://openalex.org/W2134009244","https://openalex.org/W2258392704","https://openalex.org/W2363970847","https://openalex.org/W2490884426","https://openalex.org/W2500657807","https://openalex.org/W2501812802","https://openalex.org/W2533977282","https://openalex.org/W2613246194","https://openalex.org/W2916538296","https://openalex.org/W3030514506","https://openalex.org/W3140292214","https://openalex.org/W4248148023","https://openalex.org/W9167880"],"related_works":["https://openalex.org/W4312340169","https://openalex.org/W4243191745","https://openalex.org/W4242459863","https://openalex.org/W2724597727","https://openalex.org/W2508541108","https://openalex.org/W2315419748","https://openalex.org/W2124122503","https://openalex.org/W1480528870","https://openalex.org/W127357700","https://openalex.org/W1029445510"],"abstract_inverted_index":{"When":[0],"D.":[1],"Hilbert":[2],"used":[3],"nonconstructive":[4,62,90,117,131],"methods":[5,24,77,91],"in":[6,31,39,58,92,116],"his":[7],"famous":[8],"paper":[9,21],"on":[10],"invariants":[11],"(1888),":[12],"P.Gordan":[13],"tried":[14],"to":[15,97,122],"prevent":[16],"the":[17,32,79,98,105,108,112],"publication":[18],"of":[19,100,107,111,114,130,142],"this":[20],"considering":[22],"these":[23,69],"as":[25],"non-mathematical.":[26],"L.":[27],"E.":[28],"J.":[29],"Brouwer":[30],"early":[33],"twentieth":[34],"century":[35],"initiated":[36],"intuitionist":[37],"movement":[38],"mathematics.":[40],"His":[41],"slogan":[42],"was":[43],"\"nonconstructive":[44],"arguments":[45],"have":[46,82],"no":[47],"value":[48],"for":[49],"mathematics\".":[50],"However,":[51],"P.":[52],"Erd\u00f6s":[53],"got":[54],"many":[55],"exciting":[56],"results":[57,70],"discrete":[59],"mathematics":[60],"by":[61,75,124,133],"methods.":[63],"It":[64],"is":[65,136],"widely":[66],"believed":[67],"that":[68,89],"either":[71],"cannot":[72],"be":[73],"proved":[74],"constructive":[76],"or":[78],"proofs":[80],"would":[81],"been":[83],"prohibitively":[84],"complicated.":[85],"R.Freivalds":[86],"[7]":[87],"showed":[88],"coding":[93],"theory":[94],"are":[95,144],"related":[96],"notion":[99,129],"Kolmogorov":[101],"complexity.":[102],"We":[103,119],"study":[104],"problem":[106],"quantitative":[109],"characterization":[110],"amount":[113],"nonconstructiveness":[115],"arguments.":[118],"limit":[120],"ourselves":[121],"computation":[123,132],"deterministic":[125],"finite":[126,134],"automata.":[127],"The":[128],"automata":[135],"introduced.":[137],"Upper":[138],"and":[139],"lower":[140],"bounds":[141],"nonconstructivity":[143],"proved.":[145]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1576097144","counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2024-11-18T13:10:11.225686","created_date":"2016-06-24"}