{"id":"W1489975931","doi":"10.25596/jalc-2002-247","title":"The Computing Power of Programs over Finite Monoids","year":2002,"lang":"en","type":"article","venue":"","topic":"semigroups and automata theory","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Monoid; Formalism (music); Computation; Connection (principal bundle); Syntactic monoid; Expressive power; Mathematics; Polynomial; Regular language; Computer science; Discrete mathematics; Free monoid; Algebra over a field; Pure mathematics; Theoretical computer science; Algorithm; Automaton","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001840862,0.0004990565,0.0007162591,0.001337766,0.001416729,0.004455783,0.001158022,0.0009515733,0.002945736],"category_scores_gemma":[0.01022936,0.0007233405,0.001121264,0.001343673,0.005503482,0.01426064,0.002635679,0.002276591,0.0003623022],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00139178,"about_ca_system_score_gemma":0.0007624454,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008519568,"about_ca_topic_score_gemma":0.0008732665,"domain_scores_codex":[0.9987131,0.0003564155,0.0001026855,0.000358213,0.0003165738,0.000153066],"domain_scores_gemma":[0.9882165,0.009179562,0.000580217,0.001097695,0.0004010519,0.0005250943],"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.0001372845,0.00003845666,0.0007734406,0.0001230776,0.0000166234,0.0001056819,0.0006056227,0.005926576,0.005978473,0.9782145,0.0003600859,0.007720191],"study_design_scores_gemma":[0.00002950401,0.00004269422,0.0003031838,0.00002341772,0.00002528541,0.00009989916,0.00009623944,0.02463489,0.004035369,0.9682875,0.002401561,0.00002054733],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7690545,0.001583776,0.2030749,0.003164333,0.00009698237,0.00005862626,0.0002486407,0.0004467243,0.02227157],"genre_scores_gemma":[0.9756614,0.0006653987,0.01994676,0.0001759635,0.0001853847,0.00004916274,0.0001525303,0.00005615439,0.003107322],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004455783,"threshold_uncertainty_score":0.01009816,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0151357917534266,"score_gpt":0.2190385349601797,"score_spread":0.2039027432067531,"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."}}