{"id":"W1582270156","doi":"10.1007/3-540-45007-6_20","title":"On Enumeration of Müller Automata","year":2003,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Enumeration; Automaton; Combinatorics; Discrete mathematics; Set (abstract data type); Function (biology); Mathematics; Computer science; Theoretical computer science","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.00106206,0.0009185742,0.001152575,0.001919777,0.001880239,0.003441512,0.001455841,0.001150957,0.01247217],"category_scores_gemma":[0.00543163,0.000872849,0.001493752,0.002618844,0.002504081,0.008331294,0.003261731,0.003363747,0.002387217],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00171634,"about_ca_system_score_gemma":0.0008732665,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001013012,"about_ca_topic_score_gemma":0.001644041,"domain_scores_codex":[0.9985965,0.0005728526,0.0001029193,0.0001940956,0.0003580496,0.0001755066],"domain_scores_gemma":[0.9972749,0.001832391,0.0000974158,0.0003883044,0.0003021079,0.000104924],"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.00002863443,0.0000171927,0.0001247672,0.00006600672,0.000005718934,0.00003813981,0.0001968332,0.001278163,0.0005522537,0.9726626,0.002630174,0.0223996],"study_design_scores_gemma":[0.00000371333,0.00000704509,0.00004732952,0.00002286919,0.000004567961,0.00003898652,0.00003513654,0.004075852,0.0004114367,0.9900747,0.005272266,0.000006166328],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07663628,0.00552522,0.6049019,0.002815492,0.0009924173,0.0001630994,0.0006119747,0.001212787,0.3071408],"genre_scores_gemma":[0.619058,0.004734379,0.2529771,0.001133246,0.001048681,0.0005192797,0.001609116,0.0008283937,0.1180918],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01247217,"threshold_uncertainty_score":0.04172361,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01255779573897662,"score_gpt":0.2317412304424569,"score_spread":0.2191834347034803,"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."}}