{"id":"W3183377724","doi":"10.1007/s00236-021-00399-6","title":"On the size of partial derivatives and the word membership problem","year":2021,"lang":"en","type":"article","venue":"Acta Informatica","topic":"semigroups and automata theory","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Saint Mary's University","funders":"Fundação para a Ciência e a Tecnologia; Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada","keywords":"Theory of computation; Word (group theory); Computer science; Mathematics; Linguistics; Algorithm; Philosophy","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005609163,0.00007463815,0.0001208004,0.00001149081,0.0001125389,0.0001358459,0.0004749204,0.00002268121,0.00008430855],"category_scores_gemma":[0.0005007284,0.00003469218,0.00003882783,0.0001825592,0.0001896771,0.0003685356,0.0002597229,0.00009952555,0.00001201889],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000431788,"about_ca_system_score_gemma":0.00003927061,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002621983,"about_ca_topic_score_gemma":7.221756e-7,"domain_scores_codex":[0.9992899,0.0001037445,0.000220875,0.00007263113,0.0001786756,0.0001341609],"domain_scores_gemma":[0.9970223,0.002363886,0.0001104647,0.0004401008,0.00003678736,0.00002643292],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001312603,0.00001321965,0.00001068377,0.00002352102,0.00002261054,8.137813e-7,0.00999752,0.000004583859,0.00008927456,0.9824948,0.0008771376,0.006452718],"study_design_scores_gemma":[0.002938326,0.0001816132,0.003589461,0.000391163,0.00004473634,0.00009021196,0.007463969,0.1163947,0.05484427,0.7953657,0.01818403,0.0005118837],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8168854,0.0001742591,0.01437063,0.05608784,0.0002338425,0.0006620389,0.000004961023,0.0001552139,0.1114258],"genre_scores_gemma":[0.9941646,0.00001417896,0.003447635,0.002267126,0.00001183259,0.00001584418,3.844571e-7,0.000002334525,0.00007608577],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1871291,"threshold_uncertainty_score":0.1414706,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01160276228681798,"score_gpt":0.2121827242589413,"score_spread":0.2005799619721234,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}