{"id":"W2090562519","doi":"10.1016/j.tcs.2008.02.051","title":"Extension of Brzozowski’s derivation calculus of rational expressions to series over the free partially commutative monoids","year":2008,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Noncommutative geometry; Extension (predicate logic); Mathematics; Power series; Commutative property; Formal power series; Series (stratigraphy); Expression (computer science); Pure mathematics; Finitely-generated abelian group; Discrete mathematics; Computer science; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":false,"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":["sts"],"consensus_categories":[],"category_scores_codex":[0.0009708228,0.0001206724,0.0002302948,0.0001198014,0.0002998192,0.00003136925,0.00213538,0.00003517391,0.00002111127],"category_scores_gemma":[0.0002508784,0.00007844801,0.00006697725,0.0009171533,0.003453444,0.000539886,0.001353654,0.00009535681,0.000002733185],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001830952,"about_ca_system_score_gemma":0.0001641334,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001337092,"about_ca_topic_score_gemma":0.000001226639,"domain_scores_codex":[0.9981139,0.0001767456,0.000418797,0.0003203113,0.00073952,0.0002307108],"domain_scores_gemma":[0.9977922,0.0005456636,0.0001754292,0.000991015,0.0003922026,0.0001034472],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002301026,0.0000711956,0.00007887105,0.000006412723,0.000003947375,0.000002020613,0.003530229,0.001513338,0.04668052,0.9456406,0.00008431305,0.002365494],"study_design_scores_gemma":[0.0003258031,0.000498209,0.03893642,0.0001229227,0.000006410864,0.00003978331,0.00006553427,0.4253268,0.3282471,0.2062214,0.00002631382,0.0001833119],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3921421,0.00001393887,0.6069158,0.000515014,0.0001200925,0.0001112263,0.000005293443,0.00002244206,0.0001540737],"genre_scores_gemma":[0.9005087,0.000003654487,0.09921382,0.0002325936,0.00002701793,0.000005902818,9.114488e-7,0.000003927422,0.000003461106],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7394193,"threshold_uncertainty_score":0.9992586,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01547648635844984,"score_gpt":0.254627733576316,"score_spread":0.2391512472178661,"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."}}