{"id":"W2529588972","doi":"10.46298/dmtcs.1343","title":"Most Complex Regular Ideal Languages","year":2016,"lang":"en","type":"article","venue":"Discrete Mathematics & Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Quotient; Ideal (ethics); Alphabet; Class (philosophy); Regular language; Quotient algebra","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.00116771,0.0003540615,0.0005126885,0.0009373199,0.001518955,0.003154053,0.0007166372,0.000534815,0.005818051],"category_scores_gemma":[0.004906188,0.0004692169,0.000913046,0.0005597195,0.0031566,0.005574896,0.002494743,0.001303724,0.0007282773],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001252924,"about_ca_system_score_gemma":0.0006997642,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000431145,"about_ca_topic_score_gemma":0.0004906129,"domain_scores_codex":[0.9979277,0.0003078301,0.0001847852,0.0006197706,0.0006906145,0.0002694073],"domain_scores_gemma":[0.9933028,0.002986645,0.0009139095,0.0011431,0.001025987,0.000627507],"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.0002713381,0.00006216078,0.003839582,0.0001196909,0.00003291526,0.0002583431,0.00200228,0.002696427,0.01544436,0.9601841,0.001562222,0.01352658],"study_design_scores_gemma":[0.00004859924,0.0001299093,0.003892837,0.00003769826,0.00004943382,0.0009739844,0.0009461744,0.02400579,0.01962069,0.9290437,0.02117181,0.00007956677],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7519447,0.0003359636,0.201118,0.001193185,0.00006993323,0.0001486852,0.001154368,0.001011806,0.04302352],"genre_scores_gemma":[0.9563352,0.0001256039,0.03566151,0.0001454054,0.0001031816,0.0001326978,0.0006446572,0.0001247342,0.006727009],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005818051,"threshold_uncertainty_score":0.0194633,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01272816721442451,"score_gpt":0.2622929057545596,"score_spread":0.2495647385401351,"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."}}