{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002427281,0.00006583297,0.00007443192,0.00001929459,0.000105951,0.000113019,0.0006492962,0.00002351777,0.00006347997],"category_scores_gemma":[0.00001842166,0.00003860527,0.00005136585,0.0002022096,0.00005599746,0.00013404,0.0002136471,0.00005786515,0.00004630976],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005439219,"about_ca_system_score_gemma":0.000003650134,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001024694,"about_ca_topic_score_gemma":0.000001170759,"domain_scores_codex":[0.9993359,0.00003112944,0.0001549715,0.0001405541,0.0001526459,0.0001848011],"domain_scores_gemma":[0.9992471,0.0002113619,0.0000587187,0.0004251354,0.00002681555,0.00003091378],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001290769,0.0001121237,0.001242369,0.000005117658,0.00001917217,0.000005517821,0.001764593,0.00006426578,0.0001779652,0.4156904,0.003502461,0.5774148],"study_design_scores_gemma":[0.0002039561,0.00009920889,0.002576014,0.0000184548,0.000001899421,0.000006138133,0.0001108408,0.9747829,0.0009004346,0.006607523,0.01455647,0.0001360921],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3296496,0.0009075697,0.6023509,0.001383439,0.0006626077,0.0002688728,6.379158e-7,0.0005571398,0.06421925],"genre_scores_gemma":[0.9901511,0.000008389207,0.008643406,0.0002358103,0.00001779586,0.000001353996,1.485678e-7,0.000003828209,0.000938132],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9747187,"threshold_uncertainty_score":0.1574277,"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."}}