{"id":"W2962772080","doi":"","title":"Most Complex Regular Ideal Languages","year":2017,"lang":"en","type":"article","venue":"UWSpace (University of Waterloo)","topic":"semigroups and automata theory","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Quotient; Concatenation (mathematics); Ideal (ethics); Mathematics; Combinatorics; Sigma; Alphabet; Discrete mathematics; Class (philosophy); Pure mathematics; Computer science; Physics; Linguistics","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.001171066,0.0003682734,0.0005201711,0.0009925478,0.001491642,0.003193669,0.0006971852,0.0005416385,0.005814058],"category_scores_gemma":[0.005002812,0.0004761874,0.0008897654,0.0006082347,0.003206718,0.005528547,0.002465936,0.001265891,0.0007137756],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001361165,"about_ca_system_score_gemma":0.0007539489,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005460703,"about_ca_topic_score_gemma":0.0006321293,"domain_scores_codex":[0.9978958,0.0003158195,0.0001844951,0.0006394238,0.0006877998,0.0002765418],"domain_scores_gemma":[0.9934351,0.002920131,0.000892741,0.001136954,0.0009849658,0.0006301122],"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.000256352,0.00006168769,0.003993043,0.0001128147,0.0000324416,0.0002463719,0.002149299,0.002912234,0.01439648,0.9604386,0.001603324,0.01379736],"study_design_scores_gemma":[0.00004807052,0.0001228314,0.0036987,0.00003726431,0.00004821593,0.0008665291,0.0009688366,0.0252474,0.01816261,0.9300452,0.02067781,0.0000764235],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7499642,0.0003420557,0.2037246,0.001184679,0.00006457374,0.0001438163,0.001201624,0.001030452,0.04234395],"genre_scores_gemma":[0.9587761,0.0001257218,0.03319982,0.0001329563,0.00009351645,0.0001290324,0.000642607,0.000120728,0.006779606],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005814058,"threshold_uncertainty_score":0.01944995,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01498997156629099,"score_gpt":0.2154152196680669,"score_spread":0.2004252481017759,"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."}}