{"id":"W2592641503","doi":"10.1007/s00224-018-9859-0","title":"Primitivity, Uniform Minimality, and State Complexity of Boolean Operations","year":2018,"lang":"en","type":"article","venue":"Theory of Computing Systems","topic":"semigroups and automata theory","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Product term; Discrete mathematics; Permutation (music); Boolean circuit; Combinatorics; Boolean network; Direct product; Permutation group; Boolean expression; State (computer science); Boolean function; Two-element Boolean algebra; Parity function; Complete Boolean algebra; Algorithm; Algebra over a field; Pure mathematics","routes":{"ca_aff":true,"ca_fund":true,"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.003793457,0.0008037423,0.001759658,0.002388525,0.002512475,0.007159032,0.002385563,0.001373751,0.004854005],"category_scores_gemma":[0.02400653,0.001139435,0.002316657,0.001932174,0.006567587,0.01426593,0.003836122,0.003915352,0.0003726041],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002440202,"about_ca_system_score_gemma":0.001492414,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001467331,"about_ca_topic_score_gemma":0.001575682,"domain_scores_codex":[0.9955651,0.001414795,0.0003882313,0.0009345187,0.0009521266,0.0007451862],"domain_scores_gemma":[0.9537563,0.03849731,0.002047668,0.003172227,0.0013101,0.001216324],"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.0002726401,0.0001074837,0.001794491,0.0001141114,0.00004705659,0.00008060424,0.0006794913,0.009177622,0.001252614,0.9775894,0.0005547015,0.008329748],"study_design_scores_gemma":[0.00001705438,0.00002290578,0.0004603242,0.0000131792,0.00003342355,0.00005025328,0.00006771449,0.02202745,0.001156325,0.9757745,0.00035872,0.00001820187],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6644106,0.00114514,0.3002203,0.00292716,0.00009041593,0.00009685368,0.0007465691,0.0003985725,0.02996453],"genre_scores_gemma":[0.9866387,0.0002575967,0.0101662,0.0001232791,0.00010462,0.00009605898,0.0002855072,0.00005354692,0.002274505],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007159032,"threshold_uncertainty_score":0.02006197,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04112625627455353,"score_gpt":0.2732903883261544,"score_spread":0.2321641320516009,"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."}}