{"id":"W1978707564","doi":"10.1016/j.tcs.2012.04.011","title":"Syntactic complexity of prefix-, suffix-, bifix-, and factor-free regular languages","year":2012,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto; University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; University of Toronto","keywords":"Suffix; Prefix; Regular language; Cardinality (data modeling); Mathematics; Combinatorics; Discrete mathematics; Conjecture; Upper and lower bounds; Computer science; Linguistics; Artificial intelligence; 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.001717566,0.0003771981,0.001100134,0.00168082,0.001944086,0.005394017,0.001707051,0.001439813,0.008089474],"category_scores_gemma":[0.0107837,0.0006556845,0.001358891,0.00178656,0.00306936,0.01004163,0.00189975,0.002240915,0.0005443663],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002218106,"about_ca_system_score_gemma":0.001630727,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002276805,"about_ca_topic_score_gemma":0.002106238,"domain_scores_codex":[0.9977885,0.0004567465,0.0001901377,0.0003582365,0.0007665035,0.0004398105],"domain_scores_gemma":[0.9803221,0.01550902,0.001242038,0.001015809,0.001212539,0.0006984639],"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.0006150657,0.0001584425,0.006446753,0.000214741,0.00005661403,0.0004996891,0.002184683,0.01946294,0.005947331,0.9465096,0.002444142,0.01546002],"study_design_scores_gemma":[0.00004482661,0.00003473432,0.00169511,0.00001569146,0.00004274567,0.0002129564,0.0003406742,0.04086001,0.002123861,0.9535636,0.001021812,0.00004401105],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9408761,0.0003915209,0.03850324,0.001841769,0.00003347289,0.00003379271,0.0008094703,0.000310158,0.01720057],"genre_scores_gemma":[0.9916865,0.0001439638,0.005039089,0.0001008988,0.00006714028,0.00003506028,0.0006752042,0.00008533491,0.002166667],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008089474,"threshold_uncertainty_score":0.027062,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02016373180650131,"score_gpt":0.2615775143125849,"score_spread":0.2414137825060836,"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."}}