{"id":"W2399262470","doi":"10.48550/arxiv.1012.3962","title":"Quotient Complexity of Star-Free Languages","year":2010,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Quotient; Concatenation (mathematics); Mathematics; Regular language; Discrete mathematics; Star (game theory); Combinatorics; Intersection (aeronautics); Computer science; Theoretical computer science; Automaton","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.001402663,0.0004749389,0.0009063398,0.001360409,0.001174624,0.003970946,0.001161482,0.0006676227,0.007040526],"category_scores_gemma":[0.01145317,0.0004407976,0.001441535,0.0009385886,0.003327681,0.0094288,0.003148824,0.00203284,0.0005964709],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002846194,"about_ca_system_score_gemma":0.001400952,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001717829,"about_ca_topic_score_gemma":0.001136779,"domain_scores_codex":[0.997085,0.0004567872,0.0003310545,0.0006395745,0.001014302,0.0004733502],"domain_scores_gemma":[0.9864756,0.009009345,0.000786101,0.001330256,0.001441267,0.0009573123],"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.0004429334,0.00008472782,0.003834717,0.0001989211,0.00004335305,0.0002854488,0.001705459,0.02625914,0.01075372,0.9378016,0.001723198,0.01686688],"study_design_scores_gemma":[0.00002374651,0.00004265995,0.0008633696,0.00001335657,0.00002324206,0.0001655721,0.0001276225,0.07615769,0.005198026,0.9152205,0.002134735,0.0000294931],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7922521,0.0005567757,0.179226,0.001224461,0.00006064323,0.000120699,0.001065708,0.0005555283,0.02493818],"genre_scores_gemma":[0.9787507,0.0002150896,0.01555196,0.000107059,0.00008108874,0.000111646,0.0007589151,0.0001202665,0.004303239],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007040526,"threshold_uncertainty_score":0.02355289,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06936346238571205,"score_gpt":0.195778332568915,"score_spread":0.126414870183203,"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."}}