{"id":"W2025639547","doi":"10.1016/j.tcs.2006.05.034","title":"Progressive solutions to a parallel automata equation","year":2006,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Component (thermodynamics); Automaton; Block (permutation group theory); Mathematics; Action (physics); Cellular automaton; Computer science; Algorithm; Applied mathematics; Theoretical computer science; Combinatorics; Physics; Thermodynamics","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.0006438436,0.0005418006,0.0005350462,0.0005561732,0.001230901,0.001390845,0.001115831,0.001210312,0.01304462],"category_scores_gemma":[0.003452756,0.0003549297,0.0008474293,0.0007083184,0.001539538,0.003007874,0.002437867,0.002494432,0.0009181345],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009386775,"about_ca_system_score_gemma":0.0009263865,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00131089,"about_ca_topic_score_gemma":0.001400178,"domain_scores_codex":[0.9997172,0.00005711991,0.00002040172,0.00005434196,0.0001024563,0.00004849776],"domain_scores_gemma":[0.9991193,0.0005274959,0.00006190173,0.00008763945,0.0001283616,0.00007518737],"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.00002236915,0.00001700652,0.0000590863,0.00002509214,0.000004980126,0.0001046434,0.0001694228,0.002591942,0.001156004,0.9904773,0.0008359136,0.004536253],"study_design_scores_gemma":[0.0000497085,0.00001778968,0.00005263514,0.000006569408,0.000008372453,0.0001008881,0.00007377684,0.02647254,0.000913612,0.969268,0.00302932,0.000006829358],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2641875,0.0004632474,0.6030675,0.003176224,0.0004394521,0.0002015809,0.0002831412,0.0004361957,0.1277453],"genre_scores_gemma":[0.7793068,0.0007039707,0.1034616,0.0004957329,0.0003009467,0.0002819588,0.0002735241,0.0001911148,0.1149845],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01304462,"threshold_uncertainty_score":0.04363865,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01557241781774474,"score_gpt":0.2521227020038838,"score_spread":0.236550284186139,"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."}}