{"id":"W1533036729","doi":"10.1007/s00224-013-9515-7","title":"Quotient Complexity of Closed Languages","year":2013,"lang":"en","type":"article","venue":"Theory of Computing Systems","topic":"semigroups and automata theory","field":"Computer Science","cited_by":56,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia; University of Waterloo","funders":"","keywords":"Suffix; Concatenation (mathematics); Prefix; Closure (psychology); Regular language; Complement (music); Subsequence; Formal language; Abstract family of languages; Mathematics; Quotient; Computer science; Discrete mathematics; Transitive closure; Word (group theory); Combinatorics; Theoretical computer science; Algorithm; Automaton; Linguistics; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001232685,0.0001368576,0.0003914699,0.0001058149,0.00005999473,0.00005091294,0.0009703396,0.00004770158,0.00002295067],"category_scores_gemma":[0.00004661596,0.0001137163,0.00009377233,0.0002108495,0.000231045,0.0001552464,0.0002733566,0.00007964016,0.00004332475],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001802623,"about_ca_system_score_gemma":0.00002483318,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002155467,"about_ca_topic_score_gemma":3.999223e-7,"domain_scores_codex":[0.9983271,0.0004232484,0.0005098768,0.0002264819,0.0002788369,0.0002344354],"domain_scores_gemma":[0.9982559,0.0004547449,0.0004147523,0.0006716794,0.0001440661,0.00005886463],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003552063,0.00006781546,0.0002239608,0.0001701407,0.00003275048,0.000001377339,0.002344917,0.0005947466,0.006275971,0.9809688,0.0002705406,0.009045415],"study_design_scores_gemma":[0.001448123,0.0004771208,0.05262851,0.001343066,0.0000309948,0.00008765712,0.005548912,0.6431879,0.02868062,0.2654893,0.0002446733,0.0008330423],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7030852,0.0004334663,0.2908066,0.00004795851,0.0004512504,0.000250069,0.000002945488,0.0001743404,0.004748171],"genre_scores_gemma":[0.9942707,0.000001077296,0.005493982,0.00004110542,0.00007091604,0.000002813097,0.000001720923,0.000009510618,0.0001082009],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7154795,"threshold_uncertainty_score":0.4637216,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02442731279508152,"score_gpt":0.2479190127007407,"score_spread":0.2234916999056592,"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."}}