{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009514277,0.0003891425,0.0005703401,0.0008743344,0.001129969,0.002276272,0.001070594,0.0005443289,0.005230838],"category_scores_gemma":[0.004640271,0.0004897402,0.0009395696,0.0005602326,0.002047041,0.004214155,0.001907114,0.001053662,0.0008123918],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009142098,"about_ca_system_score_gemma":0.0009437689,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005822573,"about_ca_topic_score_gemma":0.000704959,"domain_scores_codex":[0.9978885,0.0004285245,0.0002352498,0.0005776147,0.0005489523,0.0003210375],"domain_scores_gemma":[0.9954383,0.001964,0.0006912841,0.0008853605,0.000714826,0.0003063085],"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.0002667032,0.00004891498,0.002405657,0.0002359605,0.00003980953,0.0004140035,0.001194002,0.002486157,0.0211143,0.9470372,0.002200072,0.02255737],"study_design_scores_gemma":[0.00004801547,0.000120874,0.001522337,0.00005350632,0.00005998467,0.00105935,0.0005896575,0.02310115,0.01690043,0.9289891,0.02750486,0.00005079465],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5571766,0.0007803144,0.392765,0.001050299,0.0001155365,0.0002786305,0.002340341,0.001911211,0.04358208],"genre_scores_gemma":[0.9189552,0.0001798098,0.07212404,0.0001900277,0.0001312669,0.0002284884,0.001013818,0.0001786148,0.006998846],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005230838,"threshold_uncertainty_score":0.01749891,"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."}}