{"id":"W2106875872","doi":"10.1016/j.tcs.2012.10.055","title":"Quotient complexity of ideal languages","year":2012,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":51,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Ideal (ethics); Mathematics; Regular language; Concatenation (mathematics); Quotient; Discrete mathematics; Intersection (aeronautics); Generator (circuit theory); Combinatorics; Computer science; Theoretical computer science; Automaton","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001918094,0.0005914428,0.001241537,0.002025226,0.002023941,0.00582352,0.001690726,0.001062843,0.01082459],"category_scores_gemma":[0.008733174,0.0005498522,0.001325003,0.001538077,0.004518019,0.01594287,0.003457023,0.003622749,0.0007970002],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003012693,"about_ca_system_score_gemma":0.001123602,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001608212,"about_ca_topic_score_gemma":0.001092309,"domain_scores_codex":[0.997629,0.0006173744,0.0001532312,0.000403931,0.0007582206,0.0004383376],"domain_scores_gemma":[0.9906778,0.00615962,0.0005885802,0.0007563889,0.0008614716,0.0009560087],"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.00008080471,0.00002702121,0.0004181853,0.00002656046,0.000006463905,0.00004862923,0.0004098621,0.001219365,0.0004742764,0.9946092,0.0005558393,0.002123729],"study_design_scores_gemma":[0.00001393583,0.000008728841,0.0001587053,0.000004016834,0.000006048327,0.00004126129,0.00006448898,0.005438389,0.0003341542,0.993233,0.0006882909,0.000008918573],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7251992,0.001346943,0.1652901,0.00645081,0.0002062758,0.00007783664,0.0007263997,0.0005493929,0.1001531],"genre_scores_gemma":[0.9810784,0.0003438436,0.00734483,0.0002185286,0.0002625847,0.00007223732,0.0004661944,0.0001018989,0.01011158],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01082459,"threshold_uncertainty_score":0.03621185,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02015431798156349,"score_gpt":0.2752687244087085,"score_spread":0.255114406427145,"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."}}