{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008167137,0.0007354239,0.003078426,0.002160868,0.002217239,0.007621635,0.003687517,0.003669975,0.01161246],"category_scores_gemma":[0.06603964,0.001196097,0.001299931,0.002782556,0.008592311,0.02855769,0.004759311,0.005160015,0.0005973342],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002740684,"about_ca_system_score_gemma":0.00172612,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001252156,"about_ca_topic_score_gemma":0.0008261171,"domain_scores_codex":[0.994303,0.002655575,0.000353188,0.0009702125,0.001130245,0.0005877488],"domain_scores_gemma":[0.8226803,0.1618473,0.003224176,0.005868383,0.002725639,0.003654247],"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.0003872408,0.0001189659,0.001683183,0.000161994,0.00003491089,0.0001533104,0.0006064139,0.01162759,0.001377937,0.966771,0.003278361,0.01379918],"study_design_scores_gemma":[0.0000368867,0.00002337624,0.0002366209,0.00001650283,0.00001220416,0.00007754236,0.00009931231,0.02768641,0.0004128753,0.9707618,0.0006174907,0.0000189288],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6280048,0.002756074,0.2933418,0.02629715,0.0004289653,0.0001382051,0.00153755,0.0008187995,0.04667662],"genre_scores_gemma":[0.9668145,0.0007128111,0.02376136,0.0005992395,0.0005105106,0.0001446566,0.000512693,0.0002950092,0.006649255],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01161246,"threshold_uncertainty_score":0.04319245,"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."}}