{"id":"W1501444314","doi":"10.1142/s0129054112400515","title":"QUOTIENT COMPLEXITY OF STAR-FREE LANGUAGES","year":2012,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Quotient; Concatenation (mathematics); Mathematics; Regular language; Discrete mathematics; Star (game theory); Combinatorics; Pumping lemma for regular languages; Intersection (aeronautics); Computer science; Theoretical computer science; Automaton; Programming language","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.001319606,0.0004989587,0.0009564428,0.001266052,0.001137389,0.003862151,0.001292387,0.0006495583,0.007458239],"category_scores_gemma":[0.01132986,0.0004444755,0.001518337,0.0009304893,0.003000559,0.009828074,0.003411592,0.002014488,0.0006038087],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002717918,"about_ca_system_score_gemma":0.001545002,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001716991,"about_ca_topic_score_gemma":0.001157263,"domain_scores_codex":[0.9971182,0.0004054478,0.0003420369,0.0006044745,0.001012274,0.0005174677],"domain_scores_gemma":[0.9869133,0.00870308,0.0007560884,0.00126007,0.001431249,0.0009361838],"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.0005879871,0.0001146772,0.004291371,0.0002565702,0.00005118778,0.0003889027,0.001851682,0.03484719,0.01442012,0.9191266,0.001945352,0.02211845],"study_design_scores_gemma":[0.00002852342,0.00005935308,0.0009609214,0.00001557776,0.00002978705,0.0002144122,0.0001397637,0.09238071,0.00658934,0.8972252,0.002320244,0.00003611579],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7802786,0.0005343276,0.1933372,0.0010749,0.00005571221,0.0001273832,0.001042873,0.0006091062,0.02294001],"genre_scores_gemma":[0.9747672,0.0002503167,0.0186701,0.000120429,0.00007803678,0.0001324782,0.0008737184,0.0001490985,0.004958532],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007458239,"threshold_uncertainty_score":0.02495033,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03215229918022616,"score_gpt":0.3184217059545243,"score_spread":0.2862694067742982,"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."}}