{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002348562,0.0004712842,0.001001921,0.00133695,0.001047631,0.004900336,0.001522137,0.0009488043,0.003741883],"category_scores_gemma":[0.01788009,0.0005784983,0.001373283,0.001064855,0.003491989,0.008757094,0.002406621,0.001569163,0.0003570523],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002496655,"about_ca_system_score_gemma":0.001734214,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001384193,"about_ca_topic_score_gemma":0.000900762,"domain_scores_codex":[0.9962697,0.0007558232,0.0004551382,0.0007956679,0.001167756,0.0005559268],"domain_scores_gemma":[0.966653,0.02530011,0.00233154,0.002302848,0.001765037,0.001647437],"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.0009562509,0.0001875822,0.009948878,0.000379634,0.000114204,0.0005835252,0.002794122,0.1045252,0.0187056,0.8373746,0.001990649,0.02243986],"study_design_scores_gemma":[0.00004615451,0.00008822669,0.002137473,0.00002733662,0.00004692293,0.0004118409,0.0003398478,0.2970959,0.009117002,0.6889752,0.001649859,0.00006435785],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8564758,0.0004103441,0.1292708,0.001240307,0.00002832684,0.00007972518,0.001088804,0.0003788871,0.01102696],"genre_scores_gemma":[0.9725558,0.0001860817,0.02372886,0.00008928912,0.0000702987,0.0001191385,0.0007999166,0.000102276,0.002348329],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004900336,"threshold_uncertainty_score":0.01811463,"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."}}