{"id":"W1975431188","doi":"10.1142/s0129054113400285","title":"COMPLEXITY OF ATOMS OF REGULAR LANGUAGES","year":2013,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Quotient; Atom (system on chip); Intersection (aeronautics); Mathematics; Regular language; State (computer science); Upper and lower bounds; Combinatorics; Discrete mathematics; Physics; Computer science; Algorithm; Mathematical analysis","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008000795,0.00007920916,0.0002193946,0.0005171333,0.00004507205,0.0001131753,0.003223015,0.00002118335,0.00005189989],"category_scores_gemma":[0.00009937956,0.0000662299,0.0001187199,0.00048115,0.000914024,0.00171434,0.0004145841,0.00007769912,0.000005398096],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003963992,"about_ca_system_score_gemma":0.0002278721,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000619545,"about_ca_topic_score_gemma":0.000001385581,"domain_scores_codex":[0.997999,0.00004379235,0.0006930133,0.0001408318,0.001005433,0.0001179119],"domain_scores_gemma":[0.9960803,0.0001570959,0.0009775478,0.0003507568,0.002368852,0.00006542366],"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.000009735923,0.0003417221,0.00191339,0.00002169071,0.0001053912,0.000006722267,0.001226892,0.0008456812,0.05526073,0.8062221,0.0004358819,0.1336101],"study_design_scores_gemma":[0.001306487,0.0006386149,0.1707541,0.0005110049,0.00002197445,0.0004321444,0.000221515,0.2651835,0.2313902,0.3286064,0.0006105021,0.0003236645],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4097653,0.00004723134,0.5885081,0.0007698571,0.0005863124,0.00004308407,0.000003449393,0.000007421839,0.0002692132],"genre_scores_gemma":[0.7698699,0.000007760933,0.2299917,0.00005209649,0.00006493499,5.282989e-7,6.420162e-7,0.000002054305,0.00001046144],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4776157,"threshold_uncertainty_score":0.5989217,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02073960704499473,"score_gpt":0.2991157101043507,"score_spread":0.278376103059356,"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."}}