{"id":"W2610921159","doi":"10.14232/actacyb.23.1.2017.3","title":"Complexity of Right-Ideal, Prefix-Closed, and Prefix-Free Regular Languages","year":2017,"lang":"en","type":"article","venue":"Acta Cybernetica","topic":"semigroups and automata theory","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Prefix; Regular language; Prefix code; Concatenation (mathematics); Ideal (ethics); Mathematics; Quotient; Combinatorics; Discrete mathematics; Alphabet; Computer science; Automaton; Algorithm; Theoretical computer science","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003156119,0.000169918,0.0002734365,0.00005388595,0.0002487821,0.0002635021,0.002373173,0.00008454267,0.00007120916],"category_scores_gemma":[0.000196819,0.0001415531,0.00005930811,0.00005404354,0.0006147551,0.0004232666,0.001353615,0.0001193729,0.00001541099],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001199509,"about_ca_system_score_gemma":0.00002866181,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003376554,"about_ca_topic_score_gemma":0.00005110783,"domain_scores_codex":[0.9987103,0.00007110121,0.0002334694,0.0004127468,0.0002811008,0.0002912644],"domain_scores_gemma":[0.9968928,0.0001200563,0.000238386,0.002572962,0.00005430492,0.0001215213],"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.00002228444,0.0001483575,0.001840232,0.00008591104,0.00007037484,0.00004288826,0.0008867265,6.153267e-7,0.01448853,0.9458627,0.01073266,0.02581877],"study_design_scores_gemma":[0.00199604,0.0003290991,0.4272225,0.0002184502,0.00005959804,0.00009973584,0.00008776451,0.006054067,0.05324668,0.4841343,0.02582311,0.0007286196],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9413264,0.0009816972,0.002147104,0.00508575,0.0002296542,0.0003069393,0.0000402083,0.0002325456,0.04964969],"genre_scores_gemma":[0.979353,0.00005695342,0.01976799,0.000126824,0.00006323795,0.000006536987,0.000003085669,0.00001267425,0.0006096966],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4617284,"threshold_uncertainty_score":0.5772367,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01902375674254079,"score_gpt":0.2575412219832441,"score_spread":0.2385174652407034,"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."}}