{"id":"W4254341276","doi":"10.1016/j.tcs.2020.12.029","title":"Partial derivatives of regular expressions over alphabet-invariant and user-defined labels","year":2020,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Saint Mary's University; St. Mary's University","funders":"Fundação para a Ciência e a Tecnologia; Natural Sciences and Engineering Research Council of Canada","keywords":"Regular language; Prefix; Free monoid; Regular expression; Invariant (physics); Mathematics; Bounded function; Discrete mathematics; Word (group theory); Existential quantification; Combinatorics; Set (abstract data type); Alphabet; Combinatorics on words; Automaton; Monoid; Computer science; Theoretical computer science","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.002560358,0.0005860793,0.0007531759,0.001788148,0.001121502,0.003766242,0.001480861,0.001173303,0.006751944],"category_scores_gemma":[0.009748189,0.0006262661,0.0009321207,0.001716208,0.002907412,0.006817263,0.001510698,0.001821793,0.00129523],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001899581,"about_ca_system_score_gemma":0.001263811,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001161805,"about_ca_topic_score_gemma":0.001457686,"domain_scores_codex":[0.997411,0.0005888735,0.0002160176,0.0005520534,0.0008856544,0.0003464074],"domain_scores_gemma":[0.9947343,0.002309153,0.0004657663,0.001227391,0.0009116913,0.0003517499],"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.0001293974,0.00004191087,0.0005310577,0.00007680974,0.00001790683,0.000517752,0.0007164198,0.004884979,0.004837008,0.9662451,0.001343089,0.0206587],"study_design_scores_gemma":[0.00003345331,0.00007455027,0.0004202587,0.00004609812,0.00004812106,0.0004899967,0.0002041325,0.03966204,0.01493838,0.9292012,0.01481869,0.00006303282],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2095971,0.0007269955,0.7407072,0.001043569,0.0005009746,0.0001121818,0.00103188,0.004428759,0.04185129],"genre_scores_gemma":[0.8924209,0.0002860492,0.08640024,0.0002059215,0.0001822701,0.00007602874,0.0004480123,0.001139511,0.01884105],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006751944,"threshold_uncertainty_score":0.02258754,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01404941097087772,"score_gpt":0.2407946023380586,"score_spread":0.2267451913671809,"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."}}