{"id":"W1967571653","doi":"10.4204/eptcs.151.10","title":"Maximally Atomic Languages","year":2014,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Quotient; Mathematics; Regular language; Combinatorics; Semigroup; Rank (graph theory); Discrete mathematics; Physics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003221784,0.0002311116,0.0002501162,0.0003865735,0.000226359,0.0005740521,0.003697032,0.00007110531,0.00002104752],"category_scores_gemma":[0.0001858766,0.0001968643,0.00005984211,0.001761649,0.001163374,0.001040072,0.0009998527,0.0004206399,0.00007330548],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002150834,"about_ca_system_score_gemma":0.0001723711,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003416678,"about_ca_topic_score_gemma":0.000001022391,"domain_scores_codex":[0.9968207,0.00003496678,0.0003025438,0.0009486016,0.0006093046,0.001283908],"domain_scores_gemma":[0.9990266,0.0001578715,0.0000839519,0.0004302383,0.000115924,0.0001854075],"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.000004855099,0.00003808744,0.0002370367,0.000007403892,0.000001793594,0.00000250314,0.0002855336,0.000006323648,0.001314905,0.9564934,0.00003099818,0.04157714],"study_design_scores_gemma":[0.0002553065,0.0002170713,0.0009568033,0.0000316119,0.000001577027,0.00006898239,0.00001148227,0.4480433,0.005920815,0.5438238,0.0004239714,0.0002453089],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2969601,0.00007336809,0.6856353,0.0011147,0.0001919363,0.0001491007,1.773804e-7,0.0004109047,0.01546436],"genre_scores_gemma":[0.9595912,0.00001216228,0.03923868,0.0009830659,0.0001389257,0.000013551,2.407117e-7,0.00001222448,0.000009999809],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.662631,"threshold_uncertainty_score":0.8027894,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.002605956503864343,"score_gpt":0.217047875537888,"score_spread":0.2144419190340237,"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."}}